diff options
Diffstat (limited to 'gtk2_ardour/ardour_ui_ed.cc')
| -rw-r--r-- | gtk2_ardour/ardour_ui_ed.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gtk2_ardour/ardour_ui_ed.cc b/gtk2_ardour/ardour_ui_ed.cc index 1d9689e608..ac8c27faac 100644 --- a/gtk2_ardour/ardour_ui_ed.cc +++ b/gtk2_ardour/ardour_ui_ed.cc @@ -702,11 +702,11 @@ ARDOUR_UI::save_ardour_state () string current_tab; int current_page_number = _tabs.get_current_page (); - if (editor && (current_page_number == _tabs.page_num (editor->contents()))) { + if (current_page_number == _tabs.page_num (editor->contents())) { current_tab = "editor"; - } else if (mixer && (current_page_number == _tabs.page_num (mixer->contents()))) { + } else if (current_page_number == _tabs.page_num (mixer->contents())) { current_tab = "mixer"; - } else if (rc_option_editor && (current_page_number == _tabs.page_num (rc_option_editor->contents()))) { + } else if (current_page_number == _tabs.page_num (rc_option_editor->contents())) { current_tab == "preferences"; } |