diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2015-01-16 18:24:16 +0200 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2015-01-16 18:24:16 +0200 |
| commit | 6cdb25f4df143e8d98bd71bf943bbe61c702e239 (patch) | |
| tree | 212b5be8bf82ccf7216be460ae77604337421dfa /gdb/tui/tui-win.h | |
| parent | cb86fcc13bea494007a103424c8a61f1cb372717 (diff) | |
| download | gdb-6cdb25f4df143e8d98bd71bf943bbe61c702e239.zip gdb-6cdb25f4df143e8d98bd71bf943bbe61c702e239.tar.gz gdb-6cdb25f4df143e8d98bd71bf943bbe61c702e239.tar.bz2 | |
Make setting TUI border attributes take effect immediately
gdb/
2015-01-16 Eli Zaretskii <eliz@gnu.org>
* tui/tui-win.c (tui_rehighlight_all, tui_set_var_cmd): New
functions.
(_initialize_tui_win) <border-kind, border-mode>:
<active-border-mode>: Use tui_set_var_cmd as the "set" function.
* tui/tui-win.h: Add prototype for tui_rehighlight_all.
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 6601d4b..7d77a00 100644 --- a/gdb/tui/tui-win.h +++ b/gdb/tui/tui-win.h @@ -55,4 +55,7 @@ extern void tui_update_gdb_sizes (void); /* Create or get the TUI command list. */ struct cmd_list_element **tui_get_cmd_list (void); +/* Set a TUI variable. */ +void tui_set_var_cmd (char *, int, struct cmd_list_element *); + #endif |