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.c | |
| parent | daad4ed47ad2a21b46d19829c8627eeaf24fe82a (diff) | |
gtkui: added toggle menu hotkey
Diffstat (limited to 'plugins/gtkui/callbacks.c')
| -rw-r--r-- | plugins/gtkui/callbacks.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/plugins/gtkui/callbacks.c b/plugins/gtkui/callbacks.c index 64038df4..d2319eac 100644 --- a/plugins/gtkui/callbacks.c +++ b/plugins/gtkui/callbacks.c @@ -217,8 +217,7 @@ on_mainwin_key_press_event (GtkWidget *widget, return TRUE; } } - - + trace ("action not found\n"); uint32_t maskedstate = (event->state &~ (GDK_LOCK_MASK | GDK_MOD2_MASK | GDK_MOD3_MASK | GDK_MOD5_MASK)) & 0xfff; if ((maskedstate == GDK_MOD1_MASK || maskedstate == 0) && event->keyval == GDK_n) { @@ -1090,3 +1089,11 @@ on_design_mode1_activate (GtkMenuItem *menuitem, + +void +on_menu_bar1_activate (GtkMenuItem *menuitem, + gpointer user_data) +{ + action_toggle_menu_handler_cb (NULL); +} + |