diff options
| author | Tom Tromey <tom@tromey.com> | 2019-07-11 17:06:00 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-12-01 11:59:23 -0700 |
| commit | d1da6b01608841c846aa75209248e276f49e1587 (patch) | |
| tree | e3a2f0b33cacf71c077a015f2647690086e70ef9 /gdb/PROBLEMS | |
| parent | 489dbda6a8d6d54bbc349c7048553fc5f791cb41 (diff) | |
| download | gdb-d1da6b01608841c846aa75209248e276f49e1587.zip gdb-d1da6b01608841c846aa75209248e276f49e1587.tar.gz gdb-d1da6b01608841c846aa75209248e276f49e1587.tar.bz2 | |
Allow using less horizontal space in TUI source window
The source window currently uses a field width of 6 for line numbers,
and it further aligns to the next tab stop. This seemed a bit
wasteful of horizontal space to me, so I changed that in an earlier
patch.
However, that change wasn't universally popular. This patch instead
adds the option to use less horizontal space in the TUI source window.
gdb/ChangeLog
2019-12-01 Tom Tromey <tom@tromey.com>
* tui/tui-winsource.h (tui_copy_source_line): Add "ndigits"
parameter.
* tui/tui-winsource.c (tui_copy_source_line): Add "ndigits"
parameter.
* tui/tui-win.h (compact_source): Declare.
* tui/tui-win.c (compact_source): New global.
(tui_set_compact_source, tui_show_compact_source): New functions.
(_initialize_tui_win): Add "compact-source" setting.
* tui/tui-source.c (tui_source_window::set_contents): Handle
compact_source setting.
* tui/tui-disasm.c (tui_disasm_window::set_contents): Update.
* NEWS: Document new setting.
gdb/doc/ChangeLog
2019-12-01 Tom Tromey <tom@tromey.com>
* gdb.texinfo (TUI Configuration): Document new setting.
Change-Id: I46ce9a68b12c9c79332d510f9c14b3c84b7efadd
Diffstat (limited to 'gdb/PROBLEMS')
0 files changed, 0 insertions, 0 deletions