diff options
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/tui/tui-hooks.c | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 1dfe43d..7bce482 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,10 @@ 2019-08-16 Tom Tromey <tom@tromey.com> + * tui/tui-hooks.c (tui_remove_hooks): Don't set + deprecated_query_hook. + +2019-08-16 Tom Tromey <tom@tromey.com> + * tui/tui-winsource.c (tui_update_source_windows_with_addr) (tui_update_source_windows_with_line): Update. * tui/tui-source.h (struct tui_source_window) diff --git a/gdb/tui/tui-hooks.c b/gdb/tui/tui-hooks.c index a2d06f8..5cc90dd 100644 --- a/gdb/tui/tui-hooks.c +++ b/gdb/tui/tui-hooks.c @@ -260,7 +260,6 @@ void tui_remove_hooks (void) { deprecated_print_frame_info_listing_hook = 0; - deprecated_query_hook = 0; /* Remove our observers. */ tui_attach_detach_observers (false); |