Change TUI window commands to be case-sensitive
authorTom Tromey <tom@tromey.com>
Tue, 23 Jul 2019 22:01:03 +0000 (16:01 -0600)
committerTom Tromey <tom@tromey.com>
Fri, 20 Sep 2019 19:49:12 +0000 (13:49 -0600)
commit78e8cb91cd1374ac59cc8bf6509fa70bde74ff1a
tree13c3d147aa6006c7084b131da3b6ffb1c66c9949
parentf074b67ec812612637342a1647da9158a1e77de0
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.
gdb/ChangeLog
gdb/NEWS
gdb/tui/tui-layout.c
gdb/tui/tui-win.c
This page took 0.027295 seconds and 4 git commands to generate.