diff options
author | Robert Mader <robert.mader@posteo.de> | 2019-11-08 17:27:28 +0000 |
---|---|---|
committer | Georges Basile Stavracas Neto <georges.stavracas@gmail.com> | 2019-11-08 22:44:34 +0000 |
commit | 403d8fcc6624f5d027dd599c934411e71d248754 (patch) | |
tree | 46e6c1225d530b6e41b9d6e9ee1127b04557293f | |
parent | 7e5366f2336d39ad5699bc9dbff9e8b3c30bf01a (diff) | |
download | mutter-403d8fcc6624f5d027dd599c934411e71d248754.tar.gz |
plugin-manager: Kill window effects on destroy
We do so for all other window effects already. Why this was left out
is unknown (9b3a0d1ad8f), but we will need it for a fix in GS.
Related: https://gitlab.gnome.org/GNOME/mutter/issues/655
https://gitlab.gnome.org/GNOME/mutter/merge_requests/924
(cherry picked from commit a4f51da184e8eab0a2d44d0fc535032515436e8d)
-rw-r--r-- | src/compositor/meta-plugin-manager.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compositor/meta-plugin-manager.c b/src/compositor/meta-plugin-manager.c index 09bcfd333..47bf922db 100644 --- a/src/compositor/meta-plugin-manager.c +++ b/src/compositor/meta-plugin-manager.c @@ -195,6 +195,8 @@ meta_plugin_manager_event_simple (MetaPluginManager *plugin_mgr, if (klass->destroy) { retval = TRUE; + meta_plugin_manager_kill_window_effects (plugin_mgr, + actor); klass->destroy (plugin, actor); } break; |