diff options
| author | Tom Tromey <tom@tromey.com> | 2019-06-16 15:17:52 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2019-06-25 07:48:35 -0600 |
| commit | 8e2daf1532e587fee8d14aab1baad40e628065e2 (patch) | |
| tree | d1dd92dc103c6da0dc6bf5aec94f154d6679959b /gdb/tui | |
| parent | 8903bd8a37f905f5d77d2e04219e1a1eddaa6133 (diff) | |
| download | gdb-8e2daf1532e587fee8d14aab1baad40e628065e2.zip gdb-8e2daf1532e587fee8d14aab1baad40e628065e2.tar.gz gdb-8e2daf1532e587fee8d14aab1baad40e628065e2.tar.bz2 | |
Remove redundant check from make_visible
This removes a check of the window type from make_visible. This
function already checks that the window type is not CMD_WIN near the
top, so this condition can never be false.
gdb/ChangeLog
2019-06-25 Tom Tromey <tom@tromey.com>
* tui/tui-wingeneral.c (make_visible): Remove check of window
type.
Diffstat (limited to 'gdb/tui')
| -rw-r--r-- | gdb/tui/tui-wingeneral.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gdb/tui/tui-wingeneral.c b/gdb/tui/tui-wingeneral.c index 4d168af..73d77ce 100644 --- a/gdb/tui/tui-wingeneral.c +++ b/gdb/tui/tui-wingeneral.c @@ -181,9 +181,7 @@ make_visible (struct tui_gen_win_info *win_info, bool visible) { if (!win_info->is_visible) { - tui_make_window (win_info, - (win_info->type != CMD_WIN - && !tui_win_is_auxillary (win_info->type))); + tui_make_window (win_info, !tui_win_is_auxillary (win_info->type)); win_info->is_visible = true; } } |