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

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 5d434dfa3a2ec58c1b709623fe8b386e9ee9a2c3..d181b66f74cf3a11cb1867704b06b6ba5fbfbddd 100644 (file)
--- 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 a4173acd285d0ef5fc492fcce97047a3bae86521..d5f09e93a26f7a03408fa8cde765ad837f971274 100644 (file)
--- 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