diff options
| -rw-r--r-- | plugins/reload/eom-reload-plugin.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/reload/eom-reload-plugin.c b/plugins/reload/eom-reload-plugin.c index 397c1c9..5db50da 100644 --- a/plugins/reload/eom-reload-plugin.c +++ b/plugins/reload/eom-reload-plugin.c @@ -141,6 +141,8 @@ eom_reload_plugin_deactivate (PeasActivatable *activatable) gtk_ui_manager_remove_ui (manager, plugin->ui_id); gtk_ui_manager_remove_action_group (manager, plugin->ui_action_group); + + gtk_ui_manager_ensure_update (manager); } static void |