diff options
| author |  Alexey Yakovenko <waker@users.sourceforge.net> | 2013-10-06 16:32:58 +0200 |
|---|---|---|
| committer | Alexey Yakovenko <waker@users.sourceforge.net> | 2013-10-06 16:32:58 +0200 |
| commit | b94678c14fc637f565f8c1ec5792f80b5b3ee29c (patch) | |
| tree | 9f856751fce8157d58f584d4ea875974929f7ec4 /plugins/gtkui/callbacks.c | |
| parent | 9e4d69200d94755cd500b2e5fc809667d7ea3fe6 (diff) | |
gtkui: removed view->menu bar ; fixed show/hide menu bar hotkey
Diffstat (limited to 'plugins/gtkui/callbacks.c')
| -rw-r--r-- | plugins/gtkui/callbacks.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/plugins/gtkui/callbacks.c b/plugins/gtkui/callbacks.c index ed56f742..dca77f97 100644 --- a/plugins/gtkui/callbacks.c +++ b/plugins/gtkui/callbacks.c @@ -810,14 +810,3 @@ on_design_mode1_activate (GtkMenuItem *menuitem, w_set_design_mode (act ? 1 : 0); } - - - -void -on_menu_bar1_activate (GtkMenuItem *menuitem, - gpointer user_data) -{ - action_toggle_menu_handler_cb (NULL); -} - - |