espressif/binutils-gdb
1
0
Fork 0
mirror of https://github.com/espressif/binutils-gdb.git synced 2025-10-16 12:24:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update documentation to mention Pygments

Browse Source 
Philippe Blain pointed out that the gdb documentation does not mention
that Pygments may be used for source highlighting.  This patch updates
the docs to reflect how highlighting is actually done.
This commit is contained in:
Tom Tromey
2021-08-12 12:38:37 -06:00
parent 9b1f59fc95
commit 6a33fa0efe
1 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
gdb/doc/gdb.texinfo
View File

@ -26033,10 +26033,16 @@ 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}.
code, such as the output of the @code{list} command, is styled. The
default is @samp{on}. Note that source styling only works if styling
in general is enabled, and if a source highlighting library is
available to @value{GDBN}.
There are two ways that highlighting can be done. First, if
@value{GDBN} was linked with the GNU Source Highlight library, then it
is used. Otherwise, if @value{GDBN} was configured with Python
scripting support, and if the Python Pygments package is available,
then it will be used.
@item show style sources
Show the current state of source code styling.