From: Stephane Carrez <stcarrez@nerim.fr>
Date: Sat, 28 Jul 2001 19:35:20 +0000 (+0000)
Subject: 	* gdb.texinfo (TUI Configuration): Rename tui configuration variables.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=732b3002515d8fd90d614d1df44fd71566352c05;p=binutils-gdb.git

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

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  <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 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