diff options
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; |