gdb: add "set style tui-current-position on|off", default to off
authorPedro Alves <palves@redhat.com>
Tue, 1 Nov 2022 16:45:30 +0000 (16:45 +0000)
committerAndrew Burgess <aburgess@redhat.com>
Wed, 16 Nov 2022 10:34:19 +0000 (10:34 +0000)
commit92c1d07de5f1d82421fcb78331d1e7c70a24ff23
treec6861a7da09fcb25139470f766de4ba0fef97c50
parentfeb5926e8a85837e97c268af53db743b545957f5
gdb: add "set style tui-current-position on|off", default to off

As discussed at:

 https://sourceware.org/pipermail/gdb-patches/2020-June/169519.html

this patch disables source and assembly code highlighting for the
text highlighted by the TUI's current position indicator, and adds a
command to enable it back.
gdb/NEWS
gdb/cli/cli-style.c
gdb/doc/gdb.texinfo
gdb/gdbcmd.h
gdb/tui/tui-io.c
gdb/tui/tui-win.c
gdb/tui/tui-win.h