diff options
| author | Pedro Alves <palves@redhat.com> | 2010-03-30 22:21:34 +0000 |
|---|---|---|
| committer | Pedro Alves <palves@redhat.com> | 2010-03-30 22:21:34 +0000 |
| commit | 956c2c8b9a8980a5e838f1ee3115ac96d89bea96 (patch) | |
| tree | 1a8364fa6b4fd18822c3a4af03d9428033504493 /gdb/tui/tui.c | |
| parent | 8d9e7719110b2d06c9cadee77e19fd455b84e81c (diff) | |
| download | gdb-956c2c8b9a8980a5e838f1ee3115ac96d89bea96.zip gdb-956c2c8b9a8980a5e838f1ee3115ac96d89bea96.tar.gz gdb-956c2c8b9a8980a5e838f1ee3115ac96d89bea96.tar.bz2 | |
* 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.
Diffstat (limited to 'gdb/tui/tui.c')
| -rw-r--r-- | gdb/tui/tui.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gdb/tui/tui.c b/gdb/tui/tui.c index 2ff5c2d..e126d81 100644 --- a/gdb/tui/tui.c +++ b/gdb/tui/tui.c @@ -364,6 +364,9 @@ tui_initialize_readline (void) void tui_enable (void) { + if (!tui_allowed_p ()) + error (_("TUI mode not allowed")); + if (tui_active) return; |