diff options
| author | Tom Tromey <tromey@adacore.com> | 2019-03-08 13:41:55 -0700 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2019-03-14 05:47:10 -0600 |
| commit | 6f11e6824e15bd40fe1e7b245a22865c6ef8c7bd (patch) | |
| tree | c4ba703384d8adcb73a5231d1d07563d44213957 /gdb/observable.h | |
| parent | a0148d8416f6c692b83acc77cf838b3e7929a249 (diff) | |
| download | fsf-binutils-gdb-6f11e6824e15bd40fe1e7b245a22865c6ef8c7bd.zip fsf-binutils-gdb-6f11e6824e15bd40fe1e7b245a22865c6ef8c7bd.tar.gz fsf-binutils-gdb-6f11e6824e15bd40fe1e7b245a22865c6ef8c7bd.tar.bz2 | |
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.
Diffstat (limited to 'gdb/observable.h')
| -rw-r--r-- | gdb/observable.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/observable.h b/gdb/observable.h index 999ecfb..edd1fff 100644 --- a/gdb/observable.h +++ b/gdb/observable.h @@ -228,6 +228,10 @@ extern observable<struct frame_info *, int> register_changed; frame has changed. */ extern observable<user_selected_what> user_selected_context_changed; +/* This is notified when the source styling setting has changed and + should be reconsulted. */ +extern observable<> source_styling_changed; + } /* namespace observers */ } /* namespace gdb */ |