diff options
| author | Tom Tromey <tom@tromey.com> | 2018-11-17 11:49:25 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2018-12-28 12:49:49 -0700 |
| commit | ef1dfa3644f02efffa11d718fe5788c05177587b (patch) | |
| tree | 8c1591c01d1019356b0d76e142e3fe2091c6c550 /gdb/utils.h | |
| parent | cbe5657196d0d3acbeca39973f93f333ecedacda (diff) | |
| download | gdb-ef1dfa3644f02efffa11d718fe5788c05177587b.zip gdb-ef1dfa3644f02efffa11d718fe5788c05177587b.tar.gz gdb-ef1dfa3644f02efffa11d718fe5788c05177587b.tar.bz2 | |
Reset terminal styles
This adds a function that can be used to reset terminal styles,
regardless of what style the low-level output routines currently think
is applied.
This is used to make "echo" and "printf" work properly when emitting
ANSI terminal escapes -- now gdb will reset the style at the end of
the command.
gdb/ChangeLog
2018-12-28 Tom Tromey <tom@tromey.com>
* utils.h (reset_terminal_style): Declare.
* utils.c (can_emit_style_escape): New function.
(set_output_style): Use it.
(reset_terminal_style): New function.
* printcmd.c (printf_command): Call reset_terminal_style.
* cli/cli-cmds.c (echo_command): Call reset_terminal_style.
Diffstat (limited to 'gdb/utils.h')
| -rw-r--r-- | gdb/utils.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/utils.h b/gdb/utils.h index 9872a15..1f09ec2 100644 --- a/gdb/utils.h +++ b/gdb/utils.h @@ -439,6 +439,10 @@ extern void fputs_styled (const char *linebuffer, const ui_file_style &style, struct ui_file *stream); +/* Reset the terminal style to the default, if needed. */ + +extern void reset_terminal_style (struct ui_file *stream); + /* Display the host ADDR on STREAM formatted as ``0x%x''. */ extern void gdb_print_host_address_1 (const void *addr, struct ui_file *stream); |