- 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; }
-
- private:
- static Keyboard* _the_keyboard;
-
- bool _queue_events;
- bool _flush_queue;
-
- guint snooper_id;
- State state;
- bool collecting_prefix;
- string current_prefix;
- int* modifier_masks;
- int modifier_mask;
- int min_keycode;
- int max_keycode;
-
- 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*);
-
- void queue_event (GdkEventKey*);
- void get_modifier_masks ();
- void check_modifier_state ();
- void clear_modifier_state ();
-
- void check_meta_numlock (char keycode, guint mod, string modname);