From: Tom Tromey Date: Fri, 9 May 2025 19:39:55 +0000 (-0600) Subject: Move "show style sources" documentation X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c263ba026a5674009d3617556a5adb60fcb1c923;p=thirdparty%2Fbinutils-gdb.git Move "show style sources" documentation 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. --- diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index b9fc160a171..5e5e888cf38 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -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}.