diff options
| author | Tom Tromey <tom@tromey.com> | 2020-02-22 11:48:26 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2020-02-22 11:48:39 -0700 |
| commit | fc96d20b2c6d7ff24349ad015119438077d3f1e9 (patch) | |
| tree | c25c214eb42ca663a832d18e8ecc3a35f9809ebc /gnulib | |
| parent | 935c78c0468215e2f034f39b8285fa8bb17729b8 (diff) | |
| download | gdb-fc96d20b2c6d7ff24349ad015119438077d3f1e9.zip gdb-fc96d20b2c6d7ff24349ad015119438077d3f1e9.tar.gz gdb-fc96d20b2c6d7ff24349ad015119438077d3f1e9.tar.bz2 | |
Remove the TUI annotation hack
do_tui_putc has some code to remove annotations from gdb output. This
was added in 2001, see commit a198b876bbcb.
However, I think this code is not needed. It seems very unlikely to
enable both annotations and the TUI, and in any case I think this is
something that should not be supported.
So, this patch removes this code.
gdb/ChangeLog
2020-02-22 Tom Tromey <tom@tromey.com>
* tui/tui-io.c (do_tui_putc): Don't omit annotations.
Change-Id: I05728110365a362d37c9821df9c8779316100bb8
Diffstat (limited to 'gnulib')
0 files changed, 0 insertions, 0 deletions