} else if (_tabs.get_current_page() == _tabs.page_num (mixer->contents())) {
_tabs.set_current_page (_tabs.page_num (editor->contents()));
} else {
} else if (_tabs.get_current_page() == _tabs.page_num (mixer->contents())) {
_tabs.set_current_page (_tabs.page_num (editor->contents()));
} else {