diff options
Diffstat (limited to 'gdb/tui/tui-win.h')
| -rw-r--r-- | gdb/tui/tui-win.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gdb/tui/tui-win.h b/gdb/tui/tui-win.h index 81b7dac..1ffe683 100644 --- a/gdb/tui/tui-win.h +++ b/gdb/tui/tui-win.h @@ -54,4 +54,7 @@ extern void tui_update_gdb_sizes (void); /* Create or get the TUI command list. */ struct cmd_list_element **tui_get_cmd_list (void); +/* Whether compact source display should be used. */ +extern bool compact_source; + #endif /* TUI_TUI_WIN_H */ |