diff options
Diffstat (limited to 'gtk2_ardour/ardour_ui.h')
| -rw-r--r-- | gtk2_ardour/ardour_ui.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gtk2_ardour/ardour_ui.h b/gtk2_ardour/ardour_ui.h index 49b1272d24..088d819b7e 100644 --- a/gtk2_ardour/ardour_ui.h +++ b/gtk2_ardour/ardour_ui.h @@ -145,11 +145,6 @@ class ARDOUR_UI : public Gtkmm2ext::UI PublicEditor& the_editor(){return *editor;} Mixer_UI* the_mixer() { return mixer; } - void allow_focus (bool yn); - - static gint generic_focus_in_event (GdkEventFocus *); - static gint generic_focus_out_event (GdkEventFocus *); - void toggle_location_window (); void toggle_big_clock_window (); void toggle_connection_editor (); |