diff options
Diffstat (limited to 'gdb/tui/tui-file.c')
| -rw-r--r-- | gdb/tui/tui-file.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gdb/tui/tui-file.c b/gdb/tui/tui-file.c index 2f895b7..80a31f8 100644 --- a/gdb/tui/tui-file.c +++ b/gdb/tui/tui-file.c @@ -44,6 +44,16 @@ tui_file::puts (const char *linebuffer) } void +tui_file::write (const char *buf, long length_buf) +{ + tui_write (buf, length_buf); + /* gdb_stdout is buffered, and the caller must gdb_flush it at + appropriate times. Other streams are not so buffered. */ + if (this != gdb_stdout) + tui_refresh_cmd_win (); +} + +void tui_file::flush () { /* gdb_stdout is buffered. Other files are always flushed on |