diff options
Diffstat (limited to 'gdb/tui/tui-win.c')
| -rw-r--r-- | gdb/tui/tui-win.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/gdb/tui/tui-win.c b/gdb/tui/tui-win.c index 5ba6836..b2eb0a6 100644 --- a/gdb/tui/tui-win.c +++ b/gdb/tui/tui-win.c @@ -458,12 +458,9 @@ tui_set_win_focus_to (struct tui_win_info *win_info) { struct tui_win_info *win_with_focus = tui_win_with_focus (); - if (win_with_focus != NULL - && win_with_focus->type != CMD_WIN) - tui_unhighlight_win (win_with_focus); + tui_unhighlight_win (win_with_focus); tui_set_win_with_focus (win_info); - if (win_info->type != CMD_WIN) - tui_highlight_win (win_info); + tui_highlight_win (win_info); } } |