diff --git a/libs/gtkmm2ext/gtkmm2ext/keyboard.h b/libs/gtkmm2ext/gtkmm2ext/keyboard.h
index d16d32d7e6..21df853e89 100644
--- a/libs/gtkmm2ext/gtkmm2ext/keyboard.h
+++ b/libs/gtkmm2ext/gtkmm2ext/keyboard.h
@@ -192,6 +192,18 @@ public:
 	{
 		return insert_note_mod;
 	}
+	static guint button2_modifier ()
+	{
+		return button2_modifiers;
+	}
+	static guint momentary_push_modifier ()
+	{
+		return momentary_push_modifiers;
+	}
+	static guint group_override_modifier ()
+	{
+		return group_override_modifiers;
+	}
 
 	static bool is_edit_event (GdkEventButton*);
 	static bool is_delete_event (GdkEventButton*);