summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2018-07-07 12:27:02 +0200
committerraveit65 <[email protected]>2018-07-08 12:19:44 +0200
commit0c78063a235b9e3a16b008e671dae1872de213d0 (patch)
treee7c15c1c35f41ea2d3691cecde0bc948b2c77efe /.github
parent20d704b7b4f2560ee27cc9be25359107ceb4a14b (diff)
downloadeom-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
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions