diff options
author | raveit65 <[email protected]> | 2018-07-07 12:27:02 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2018-07-08 16:10:13 +0200 |
commit | 433c776b757c5cc909d6e614ebf39dbff9379320 (patch) | |
tree | cf3befd4687f8a6830f2e2680b7a0e81bfc87e39 /po/cs.po | |
parent | 92142b6bc0bcee51f09c91d0b4cafdf03f50c76f (diff) | |
download | eom-433c776b757c5cc909d6e614ebf39dbff9379320.tar.bz2 eom-433c776b757c5cc909d6e614ebf39dbff9379320.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
Diffstat (limited to 'po/cs.po')
0 files changed, 0 insertions, 0 deletions