diff options
Diffstat (limited to 'gtk2_ardour/ardour_ui2.cc')
| -rw-r--r-- | gtk2_ardour/ardour_ui2.cc | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/gtk2_ardour/ardour_ui2.cc b/gtk2_ardour/ardour_ui2.cc index 9aa03eb602..2623cc8ca9 100644 --- a/gtk2_ardour/ardour_ui2.cc +++ b/gtk2_ardour/ardour_ui2.cc @@ -105,31 +105,6 @@ ARDOUR_UI::tabs_button_event (GdkEventButton* ev) } void -ARDOUR_UI::tabs_page_removed (Gtk::Widget*, guint) -{ - if (_tabs.get_n_pages() == 1) { - _tabs.set_show_tabs (false); - } else { - _tabs.set_show_tabs (true); - } -} - -void -ARDOUR_UI::tabs_page_added (Gtk::Widget*, guint) -{ - if (_tabs.get_n_pages() == 1) { - _tabs.set_show_tabs (false); - } else { - _tabs.set_show_tabs (true); - } -} - -void -ARDOUR_UI::tabs_switch (GtkNotebookPage*, guint page_number) -{ -} - -void ARDOUR_UI::setup_tooltips () { set_tip (roll_button, _("Play from playhead")); |