* gdb.texinfo (TUI Configuration): Rename tui configuration variables.

This commit is contained in:
Stephane Carrez 2001-07-28 19:35:20 +00:00
parent c968487932
commit 732b300251
2 changed files with 10 additions and 6 deletions

View File

@ -1,3 +1,7 @@
2001-07-28 Stephane Carrez <Stephane.Carrez@worldnet.fr>
* gdb.texinfo (TUI Configuration): Rename tui configuration variables.
2001-07-25 Andrew Cagney <ac131313@redhat.com> 2001-07-25 Andrew Cagney <ac131313@redhat.com>
* gdbint.texinfo (libgdb): Rewrite. * gdbint.texinfo (libgdb): Rewrite.

View File

@ -13348,8 +13348,8 @@ The TUI has several configuration variables that control the
appearance of windows on the terminal. appearance of windows on the terminal.
@table @code @table @code
@item set tui-border-kind @var{kind} @item set tui border-kind @var{kind}
@kindex set tui-border-kind @kindex set tui border-kind
Select the border appearance for the source, assembly and register windows. Select the border appearance for the source, assembly and register windows.
The possible values are the following: The possible values are the following:
@table @code @table @code
@ -13365,14 +13365,14 @@ drawn using character line graphics if the terminal supports them.
@end table @end table
@item set tui-active-border-mode @var{mode} @item set tui active-border-mode @var{mode}
@kindex set tui-active-border-mode @kindex set tui active-border-mode
Select the attributes to display the border of the active window. Select the attributes to display the border of the active window.
The possible values are @code{normal}, @code{standout}, @code{reverse}, The possible values are @code{normal}, @code{standout}, @code{reverse},
@code{half}, @code{half-standout}, @code{bold} and @code{bold-standout}. @code{half}, @code{half-standout}, @code{bold} and @code{bold-standout}.
@item set tui-border-mode @var{mode} @item set tui border-mode @var{mode}
@kindex set tui-border-mode @kindex set tui border-mode
Select the attributes to display the border of other windows. Select the attributes to display the border of other windows.
The @var{mode} can be one of the following: The @var{mode} can be one of the following:
@table @code @table @code