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 |
2075 |
eGainPlus6(_("Gain +6dB"), eAttenuation, -6), |
eGainPlus6(_("Gain +6dB"), eAttenuation, -6), |
2076 |
eEffectSend(_("Effect send"), 0, 65535), |
eEffectSend(_("Effect send"), 0, 65535), |
2077 |
eFineTune(_("Fine tune"), -8400, 8400), |
eFineTune(_("Fine tune"), -8400, 8400), |
2078 |
ePitchbendRange(_("Pitchbend range"), 0, 12), |
ePitchbendRange(_("Pitchbend range"), 0, 48), |
2079 |
ePianoReleaseMode(_("Piano release mode")), |
ePianoReleaseMode(_("Piano release mode")), |
2080 |
eDimensionKeyRangeLow(_("Keyswitching range low")), |
eDimensionKeyRangeLow(_("Keyswitching range low")), |
2081 |
eDimensionKeyRangeHigh(_("Keyswitching range high")) |
eDimensionKeyRangeHigh(_("Keyswitching range high")) |