diff options
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 12 |
2 files changed, 10 insertions, 6 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 5d434df..d181b66 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -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> * gdbint.texinfo (libgdb): Rewrite. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index a4173ac..d5f09e9 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -13348,8 +13348,8 @@ The TUI has several configuration variables that control the appearance of windows on the terminal. @table @code -@item set tui-border-kind @var{kind} -@kindex set tui-border-kind +@item set tui border-kind @var{kind} +@kindex set tui border-kind Select the border appearance for the source, assembly and register windows. The possible values are the following: @table @code @@ -13365,14 +13365,14 @@ drawn using character line graphics if the terminal supports them. @end table -@item set tui-active-border-mode @var{mode} -@kindex set tui-active-border-mode +@item set tui active-border-mode @var{mode} +@kindex set tui active-border-mode Select the attributes to display the border of the active window. The possible values are @code{normal}, @code{standout}, @code{reverse}, @code{half}, @code{half-standout}, @code{bold} and @code{bold-standout}. -@item set tui-border-mode @var{mode} -@kindex set tui-border-mode +@item set tui border-mode @var{mode} +@kindex set tui border-mode Select the attributes to display the border of other windows. The @var{mode} can be one of the following: @table @code |