diff options
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); -} - - |