diff options
| author | Tom Tromey <tom@tromey.com> | 2019-11-09 14:13:13 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-12-01 11:59:23 -0700 |
| commit | a2a7af0c33869f08a999d5d1b301017138cbeb7a (patch) | |
| tree | abf38fc4ea8f60ce1ac2d72fc368cb2801322721 /gdb/doc | |
| parent | d1da6b01608841c846aa75209248e276f49e1587 (diff) | |
| download | gdb-a2a7af0c33869f08a999d5d1b301017138cbeb7a.zip gdb-a2a7af0c33869f08a999d5d1b301017138cbeb7a.tar.gz gdb-a2a7af0c33869f08a999d5d1b301017138cbeb7a.tar.bz2 | |
Add TUI border colors
This adds the ability to change the color of the TUI borders, both
ordinary and active. Unlike other styling options, this doesn't allow
setting the intensity, because that is already done by the TUI in a
different way.
gdb/ChangeLog
2019-12-01 Tom Tromey <tom@tromey.com>
* NEWS: Document new settings.
* tui/tui-wingeneral.c (box_win): Apply appropriate border style.
* tui/tui-win.c (_initialize_tui_win): Add border style
observers.
* tui/tui-io.h (tui_apply_style): Declare.
* tui/tui-io.c (tui_apply_style): Rename from apply_style. No
longer static.
(apply_ansi_escape, tui_set_reverse_mode): Update.
* cli/cli-style.h (class cli_style_option) <add_setshow_commands>:
Add "skip_intensity" parameter.
<changed>: New member.
<do_set_value>: Declare.
(tui_border_style, tui_active_border_style): Declare.
* cli/cli-style.c (tui_border_style, tui_active_border_style): New
globals.
(cli_style_option): Initialize "changed".
(cli_style_option::do_set_value): New function.
(cli_style_option::add_setshow_commands): Add "skip_intensity"
parameter. Update.
(STYLE_ADD_SETSHOW_COMMANDS): Add "SKIP" parameter.
(_initialize_cli_style): Update. Create TUI border style
commands.
gdb/doc/ChangeLog
2019-12-01 Tom Tromey <tom@tromey.com>
* gdb.texinfo (TUI Configuration): Mention TUI border styles.
(Output Styling): Document new settings.
Change-Id: Id13e2af0af2a0bde61282752f2c379db3220c9fc
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 14 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 8028f78..6b6f28e 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,5 +1,10 @@ 2019-12-01 Tom Tromey <tom@tromey.com> + * gdb.texinfo (TUI Configuration): Mention TUI border styles. + (Output Styling): Document new settings. + +2019-12-01 Tom Tromey <tom@tromey.com> + * gdb.texinfo (TUI Configuration): Document new setting. 2019-11-30 Philippe Waroquiers <philippe.waroquiers@skynet.be> diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 9b5297e..198862a 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -25449,6 +25449,17 @@ the user attention to some specific parts of their output. For example, the command @command{apropos -v REGEXP} uses the highlight style to mark the documentation parts matching @var{regexp}. +@item tui-border +Control the styling of the TUI border. Note that, unlike other +styling options, only the color of the border can be controlled via +@code{set style}. This was done for compatibility reasons, as TUI +controls to set the border's intensity predated the addition of +general styling to @value{GDBN}. @xref{TUI Configuration}. + +@item tui-active-border +Control the styling of the active TUI border; that is, the TUI window +that has the focus. + @end table @node Numbers @@ -28027,6 +28038,9 @@ much space as is needed for the line numbers in the current file, and only a single space to separate the line numbers from the source. @end table +Note that the colors of the TUI borders can be controlled using the +appropriate @code{set style} commands. @xref{Output Styling}. + @node Emacs @chapter Using @value{GDBN} under @sc{gnu} Emacs |