Make menu option for speaker config the same as the window title.

[ardour.git] / gtk2_ardour / editor_keys.cc

diff --git a/gtk2_ardour/editor_keys.cc b/gtk2_ardour/editor_keys.cc
index 2ef22c827395acbce0f36d7b8215ba8fdb4b3e16..2da3122d48d8c324acc4b767477d97543bf20aff 100644 (file)
--- a/gtk2_ardour/editor_keys.cc
+++ b/gtk2_ardour/editor_keys.cc
@@ -90,17 +90,3 @@ Editor::keyboard_paste ()
        ensure_entered_track_selected (true);
        paste (1);
 }
-
-void
-Editor::keyboard_insert_region_list_selection ()
-{
-       insert_region_list_selection (1);
-}
-
-int
-Editor::get_prefix (float& /*val*/, bool& was_floating)
-{
-       was_floating = false;
-       return 1;
-}
-