diff options
| author | Jan Kratochvil <jan.kratochvil@redhat.com> | 2011-09-08 15:27:46 +0000 |
|---|---|---|
| committer | Jan Kratochvil <jan.kratochvil@redhat.com> | 2011-09-08 15:27:46 +0000 |
| commit | b2e7f004c75322ea75cc9326bc6c6f4b6577df7f (patch) | |
| tree | 92437a2514ea0d3e22b3eac667f00812fbd94bc8 /gdb/utils.c | |
| parent | 8afd712c6f6c36b80754178aae94d74aa48ffcd5 (diff) | |
| download | gdb-b2e7f004c75322ea75cc9326bc6c6f4b6577df7f.zip gdb-b2e7f004c75322ea75cc9326bc6c6f4b6577df7f.tar.gz gdb-b2e7f004c75322ea75cc9326bc6c6f4b6577df7f.tar.bz2 | |
gdb/
Fix TUI screen corruption.
* utils.c (fputs_maybe_filtered): Replace !input_from_terminal_p by
batch_flag.
Diffstat (limited to 'gdb/utils.c')
| -rw-r--r-- | gdb/utils.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/utils.c b/gdb/utils.c index 4654870..a979cc4 100644 --- a/gdb/utils.c +++ b/gdb/utils.c @@ -2131,8 +2131,8 @@ fputs_maybe_filtered (const char *linebuffer, struct ui_file *stream, /* Don't do any filtering if it is disabled. */ if (stream != gdb_stdout - || ! pagination_enabled - || ! input_from_terminal_p () + || !pagination_enabled + || batch_flag || (lines_per_page == UINT_MAX && chars_per_line == UINT_MAX) || top_level_interpreter () == NULL || ui_out_is_mi_like_p (interp_ui_out (top_level_interpreter ()))) |