Make setting TUI border attributes take effect immediately
authorEli Zaretskii <eliz@gnu.org>
Fri, 16 Jan 2015 16:24:16 +0000 (18:24 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 16 Jan 2015 16:24:16 +0000 (18:24 +0200)
commit6cdb25f4df143e8d98bd71bf943bbe61c702e239
tree212b5be8bf82ccf7216be460ae77604337421dfa
parentcb86fcc13bea494007a103424c8a61f1cb372717
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.
gdb/ChangeLog
gdb/tui/tui-win.c
gdb/tui/tui-win.h