diff options
| author | raveit65 <[email protected]> | 2018-07-07 12:27:02 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-07-08 12:19:44 +0200 |
| commit | 0c78063a235b9e3a16b008e671dae1872de213d0 (patch) | |
| tree | e7c15c1c35f41ea2d3691cecde0bc948b2c77efe | |
| parent | 20d704b7b4f2560ee27cc9be25359107ceb4a14b (diff) | |
| download | eom-0c78063a235b9e3a16b008e671dae1872de213d0.tar.bz2 eom-0c78063a235b9e3a16b008e671dae1872de213d0.tar.xz | |
reload: ensure that pending updates to UI are complete
The plugin tries to remove the menuentry from menu during
closing eom.
Using gtk_ui_manager_ensure_update () function to make sure
that all pending updates to the UI have been completed.
fixes https://github.com/mate-desktop/eom/issues/145
| -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 |