Fix TUI-related documentation.
authorEli Zaretskii <eliz@gnu.org>
Fri, 16 Jan 2015 11:31:36 +0000 (13:31 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 16 Jan 2015 11:33:25 +0000 (13:33 +0200)
commitbf555842fccfc0e2cdc4a2f329df6358f991732c
treebb96f9e96954c05a8b385b318797ba19480b9114
parent1e2e8c529c1cf4fcc8cbae382aa0a653d0b65da6
Fix TUI-related documentation.

tui/tui-win.c (tui_scroll_left_command, tui_scroll_right_command):
Doc fix.
doc/gdb.texinfo (TUI Commands): Document the possible
values of NAME argument to 'winheight' command.  Explain the
effect of 'tabset' setting better.
gdb/ChangeLog
gdb/doc/ChangeLog
gdb/doc/gdb.texinfo
gdb/tui/tui-win.c