]> git.ipfire.org Git - thirdparty/binutils-gdb.git/commitdiff
Move "show style sources" documentation
authorTom Tromey <tromey@adacore.com>
Fri, 9 May 2025 19:39:55 +0000 (13:39 -0600)
committerTom Tromey <tromey@adacore.com>
Fri, 9 May 2025 19:39:55 +0000 (13:39 -0600)
I noticed that I had inadvertently put the "set style warning-prefix"
documentation between the paragraph for "set style sources" and the
paragraph for "show style sources".  This patch moves the latter up a
bit to clean this up.

gdb/doc/gdb.texinfo

index b9fc160a17180f0f2fe70c87a916d8f5433275ac..5e5e888cf38cea33a9d7b4e77039207374ec2d5e 100644 (file)
@@ -28000,6 +28000,9 @@ 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.
+
 @item set style warning-prefix
 @itemx show style warning-prefix
 @itemx set style error-prefix
@@ -28011,9 +28014,6 @@ emoji display, and so the prefixes are only displayed if emoji styling
 is enabled.  The defaults are the warning sign emoji for warnings, and
 and the cross mark emoji for errors.
 
-@item show style sources
-Show the current state of source code styling.
-
 @item set style tui-current-position @samp{on|off}
 Enable or disable styling of the source and assembly code highlighted
 by the TUI's current position indicator.  The default is @samp{off}.