--- gigedit/trunk/src/gigedit/mainwindow.cpp	2017/07/31 11:35:30	3343
+++ gigedit/trunk/src/gigedit/mainwindow.cpp	2017/08/02 10:39:46	3344
@@ -1064,7 +1064,8 @@
     updateMacroMenu();
 }
 
-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.
+void MainWindow::on_notebook_tab_switched(void* page, guint page_num) {
     bool isInstrumentsPage = (page_num == 1);
     // so far we only support filtering for the instruments list, so hide the
     // filter text entry field if another tab is selected