From 732b3002515d8fd90d614d1df44fd71566352c05 Mon Sep 17 00:00:00 2001 From: Stephane Carrez Date: Sat, 28 Jul 2001 19:35:20 +0000 Subject: [PATCH] * gdb.texinfo (TUI Configuration): Rename tui configuration variables. --- gdb/doc/ChangeLog | 4 ++++ gdb/doc/gdb.texinfo | 12 ++++++------ 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 5d434dfa3a2..d181b66f74c 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +2001-07-28 Stephane Carrez + + * gdb.texinfo (TUI Configuration): Rename tui configuration variables. + 2001-07-25 Andrew Cagney * gdbint.texinfo (libgdb): Rewrite. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index a4173acd285..d5f09e93a26 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 -- 2.30.2