* tui/tui-interp.c (tui_is_toplevel): New.
authorPedro Alves <palves@redhat.com>
Tue, 30 Mar 2010 22:21:34 +0000 (22:21 +0000)
committerPedro Alves <palves@redhat.com>
Tue, 30 Mar 2010 22:21:34 +0000 (22:21 +0000)
commit956c2c8b9a8980a5e838f1ee3115ac96d89bea96
tree1a8364fa6b4fd18822c3a4af03d9428033504493
parent8d9e7719110b2d06c9cadee77e19fd455b84e81c
* tui/tui-interp.c (tui_is_toplevel): New.
(tui_init): Set it.
(tui_allowed_p): New.
* tui/tui.c (tui_enable): Check if the TUI is allowed before
enabling it.
* tui/tui.h (tui_allowed_p): Declare.
gdb/ChangeLog
gdb/tui/tui-interp.c
gdb/tui/tui.c
gdb/tui/tui.h