diff options
| author | Tom Tromey <tom@tromey.com> | 2019-07-23 16:01:03 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-09-20 13:49:12 -0600 |
| commit | 78e8cb91cd1374ac59cc8bf6509fa70bde74ff1a (patch) | |
| tree | 13c3d147aa6006c7084b131da3b6ffb1c66c9949 /config | |
| parent | f074b67ec812612637342a1647da9158a1e77de0 (diff) | |
| download | gdb-78e8cb91cd1374ac59cc8bf6509fa70bde74ff1a.zip gdb-78e8cb91cd1374ac59cc8bf6509fa70bde74ff1a.tar.gz gdb-78e8cb91cd1374ac59cc8bf6509fa70bde74ff1a.tar.bz2 | |
Change TUI window commands to be case-sensitive
The TUI window-related commands like "focus" are case insensitive.
This is not the norm in gdb, and I don't see a good reason to have it
here. This patch changes the TUI to be case sensitive, like the rest
of gdb.
gdb/ChangeLog
2019-09-20 Tom Tromey <tom@tromey.com>
* NEWS: Mention case-sensitivity of TUI commands.
* tui/tui-win.c (tui_set_focus_command): Now case-sensitive.
(tui_set_win_height_command, parse_scrolling_args): Likewise.
* tui/tui-layout.c (tui_layout_command): Now case-sensitive.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions