diff options
Diffstat (limited to 'gdb/utils.h')
| -rw-r--r-- | gdb/utils.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gdb/utils.h b/gdb/utils.h index 6a0927c..3434ff1 100644 --- a/gdb/utils.h +++ b/gdb/utils.h @@ -320,6 +320,12 @@ extern struct ui_file **current_ui_gdb_stdin_ptr (void); extern struct ui_file **current_ui_gdb_stderr_ptr (void); extern struct ui_file **current_ui_gdb_stdlog_ptr (void); +/* Flush STREAM. This is a wrapper for ui_file_flush that also + flushes any output pending from uses of the *_filtered output + functions; that output is kept in a special buffer so that + pagination and styling are handled properly. */ +extern void gdb_flush (struct ui_file *); + /* The current top level's ui_file streams. */ /* Normal results */ |