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 /configure | |
| 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 'configure')
0 files changed, 0 insertions, 0 deletions