Eli Zaretskii wrote:
>> Date: Fri, 11 May 2007 11:30:15 -0700
>> From: Bob Wilson <bwilson@tensilica.com>
>> CC:  gdb-patches@sources.redhat.com
>>
>> What do you think about changing that sentence as follows?
>>
>> You can also switch in and out of TUI mode while @value{GDBN} runs by using 
>> various TUI commands and key bindings, such as @kbd{C-x C-a}.  @xref{TUI Keys, ,
>> TUI Key Bindings}.
> 
> This is fine.

OK.  Here is the revised patch that I've committed.

2007-05-14  Bob Wilson  <bob.wilson@acm.org>
	
	* all-cfg.texi (GDBTUI): New.
	* gdb.texinfo (Mode Options): Use GDBTUI variable.
	(TUI, TUI Overview, TUI Keys, TUI Single Key Mode, TUI Commands)
	(TUI Configuration): Edit to improve clarity and fix problems of
	both style and content.