- static bool no_modifiers_active (guint state);
-
- static void set_meta_modifier (guint);
-
- static void set_snap_modifier (guint);
- static ModifierMask snap_modifier () { return ModifierMask (snap_mod); }
-
- static guint edit_button() { return edit_but; }
- static void set_edit_button (guint);
- static guint edit_modifier() { return edit_mod; }
- static void set_edit_modifier(guint);
-
- static guint delete_button() { return delete_but; }
- static void set_delete_button(guint);
- static guint delete_modifier() { return delete_mod; }
- static void set_delete_modifier(guint);
-
- static bool is_edit_event (GdkEventButton*);
- static bool is_delete_event (GdkEventButton*);
- static bool is_context_menu_event (GdkEventButton*);
-
- static Keyboard& the_keyboard() { return *_the_keyboard; }
-
- static bool some_magic_widget_has_focus ();
- static void magic_widget_grab_focus ();
- static void magic_widget_drop_focus ();
-
- private:
- static Keyboard* _the_keyboard;
-
- guint snooper_id;
- State state;
-
- static guint edit_but;
- static guint edit_mod;
- static guint delete_but;
- static guint delete_mod;
- static guint snap_mod;
-
- static gint _snooper (GtkWidget*, GdkEventKey*, gpointer);
- gint snooper (GtkWidget*, GdkEventKey*);
-
- static bool _some_magic_widget_has_focus;