diff options
| author | Tom Tromey <tom@tromey.com> | 2019-07-02 15:18:27 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-07-17 12:19:20 -0600 |
| commit | 88b7e7ccb958220adabc307e6d38fc66877820fb (patch) | |
| tree | 644a77326e1bef1fb2a315d2acee7f40fd65d4cc /gdb/ChangeLog | |
| parent | 0fcd37117e94e5b9bf5f4aaa4dccc8038b38398e (diff) | |
| download | gdb-88b7e7ccb958220adabc307e6d38fc66877820fb.zip gdb-88b7e7ccb958220adabc307e6d38fc66877820fb.tar.gz gdb-88b7e7ccb958220adabc307e6d38fc66877820fb.tar.bz2 | |
Fix flushing bug in tui_puts_internal
A while back I changed gdb not to flush in some places. It turned out
that this broke the TUI a little. An easy way to see it is to run
"gdb -tui -nx", then "file gdb" at the gdb prompt. gdb will print the
usual "Reading symbols..." message -- but it won't appear on-screen
until the reading is complete.
This patch changes the TUI to do the equivalent of line buffering in
tui_puts_internal.
gdb/ChangeLog
2019-07-17 Tom Tromey <tom@tromey.com>
* tui/tui-io.c (tui_puts_internal): Call wrefresh if newline is
seen.
Diffstat (limited to 'gdb/ChangeLog')
| -rw-r--r-- | gdb/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 5a3d6c5..4890f6f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,10 @@ 2019-07-17 Tom Tromey <tom@tromey.com> + * tui/tui-io.c (tui_puts_internal): Call wrefresh if newline is + seen. + +2019-07-17 Tom Tromey <tom@tromey.com> + * tui/tui-win.c (tui_source_window_base::set_new_height) (tui_source_window_base::do_make_visible_with_new_height): Use m_has_locator field directly. |