1064 |
updateMacroMenu(); |
updateMacroMenu(); |
1065 |
} |
} |
1066 |
|
|
1067 |
void MainWindow::on_notebook_tab_switched(GtkNotebookPage* page, guint page_num) { |
//NOTE: the actual signal's first argument for argument 'page' is on some gtkmm version GtkNotebookPage* and on some Gtk::Widget*. Since we don't need that argument, it is simply void* here for now. |
1068 |
|
void MainWindow::on_notebook_tab_switched(void* page, guint page_num) { |
1069 |
bool isInstrumentsPage = (page_num == 1); |
bool isInstrumentsPage = (page_num == 1); |
1070 |
// so far we only support filtering for the instruments list, so hide the |
// so far we only support filtering for the instruments list, so hide the |
1071 |
// filter text entry field if another tab is selected |
// filter text entry field if another tab is selected |