Make TUI react to "set style enabled"
authorTom Tromey <tromey@adacore.com>
Fri, 8 Mar 2019 20:41:55 +0000 (13:41 -0700)
committerTom Tromey <tromey@adacore.com>
Thu, 14 Mar 2019 11:47:10 +0000 (05:47 -0600)
commit6f11e6824e15bd40fe1e7b245a22865c6ef8c7bd
treec4ba703384d8adcb73a5231d1d07563d44213957
parenta0148d8416f6c692b83acc77cf838b3e7929a249
Make TUI react to "set style enabled"

When the user toggles "set style enabled", the TUI should react by
redrawing the source window, if necessary.  This patch implements this
behavior.

No test because the TUI is generally not tested.

This version of the patch incorporates Pedro's patch to provide a
clean way to force the TUI to update the source window's contents.

gdb/ChangeLog
2019-03-14  Pedro Alves  <palves@redhat.com>
    Tom Tromey  <tromey@adacore.com>

* tui/tui-winsource.h (tui_refill_source_window): Declare.
* tui/tui-winsource.c (tui_refill_source_window): New function,
from...
(tui_horizontal_source_scroll): ... here.  Move some logic.
* cli/cli-style.c (set_style_enabled): Notify new observable.
* tui/tui-hooks.c (tui_redisplay_source): New function.
(tui_attach_detach_observers): Attach or detach
tui_redisplay_source.
* observable.h (source_styling_changed): New observable.
* observable.c: Define source_styling_changed observable.
gdb/ChangeLog
gdb/cli/cli-style.c
gdb/observable.c
gdb/observable.h
gdb/tui/tui-hooks.c
gdb/tui/tui-winsource.c
gdb/tui/tui-winsource.h