diff options
| author |  waker <wakeroid@gmail.com> | 2012-11-18 22:39:57 +0100 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2012-11-18 22:39:57 +0100 |
| commit | a848c17ed3d206223ad94be9ee0b9ff477d9820c (patch) | |
| tree | 9564d4803ddecaf03ec955afeb917addf078789d /plugins/gtkui/callbacks.h | |
| parent | daad4ed47ad2a21b46d19829c8627eeaf24fe82a (diff) | |
gtkui: added toggle menu hotkey
Diffstat (limited to 'plugins/gtkui/callbacks.h')
| -rw-r--r-- | plugins/gtkui/callbacks.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/gtkui/callbacks.h b/plugins/gtkui/callbacks.h index 967d545f..ed24522c 100644 --- a/plugins/gtkui/callbacks.h +++ b/plugins/gtkui/callbacks.h @@ -1266,3 +1266,7 @@ gboolean on_hotkeys_set_key_key_press_event (GtkWidget *widget, GdkEventKey *event, gpointer user_data); + +void +on_menu_bar1_activate (GtkMenuItem *menuitem, + gpointer user_data); |