diff options
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 10 |
2 files changed, 15 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 81512fa..1b7dabf 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2019-03-14 Tom Tromey <tromey@adacore.com> + + * gdb.texinfo (Output Styling): Document "set style source" and + "show style source". + 2019-03-13 Simon Marchi <simon.marchi@ericsson.com> * gdb.texinfo (Mode Options): Mention mi3. diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 20f6122..431752b 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -24525,6 +24525,16 @@ most hosts defaulting to @samp{on}. @item show style enabled Show the current state of styling. + +@item set style sources @samp{on|off} +Enable or disable source code styling. This affects whether source +code, such as the output of the @code{list} command, is styled. Note +that source styling only works if styling in general is enabled, and +if @value{GDBN} was linked with the GNU Source Highlight library. The +default is @samp{on}. + +@item show style sources +Show the current state of source code styling. @end table Subcommands of @code{set style} control specific forms of styling. |