diff options
| author |  waker <wakeroid@gmail.com> | 2012-11-06 21:28:18 +0100 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2012-11-06 21:58:37 +0100 |
| commit | d8c66c31fa2a616588f1f4657ad0cfaa26fe982e (patch) | |
| tree | a837d4508ecadc3f25a9ee01af7ec4d8d190a5bc /plugins/gtkui/callbacks.h | |
| parent | 1a20e32e750ae032f21c13f8001c718e42aeff41 (diff) | |
gtkui: new hotkey grabbing widget and other fixes
Diffstat (limited to 'plugins/gtkui/callbacks.h')
| -rw-r--r-- | plugins/gtkui/callbacks.h | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/plugins/gtkui/callbacks.h b/plugins/gtkui/callbacks.h index 97e40c8a..967d545f 100644 --- a/plugins/gtkui/callbacks.h +++ b/plugins/gtkui/callbacks.h @@ -1247,3 +1247,22 @@ on_hotkeys_apply_clicked (GtkButton *button, void on_hotkeys_revert_clicked (GtkButton *button, gpointer user_data); + +gboolean +on_hotkey_keycombo_focus_out_event (GtkWidget *widget, + GdkEventFocus *event, + gpointer user_data); + +void +on_hotkeys_set_key_clicked (GtkButton *button, + gpointer user_data); + +gboolean +on_hotkeys_set_key_button_press_event (GtkWidget *widget, + GdkEventButton *event, + gpointer user_data); + +gboolean +on_hotkeys_set_key_key_press_event (GtkWidget *widget, + GdkEventKey *event, + gpointer user_data); |