[mutter/gnome-3-34] plugin-manager: Kill window effects on destroy
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [mutter/gnome-3-34] plugin-manager: Kill window effects on destroy
- Date: Fri, 8 Nov 2019 22:44:56 +0000 (UTC)
commit 403d8fcc6624f5d027dd599c934411e71d248754
Author: Robert Mader <robert mader posteo de>
Date: Fri Nov 8 17:27:28 2019 +0000
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)
src/compositor/meta-plugin-manager.c | 2 ++
1 file changed, 2 insertions(+)
---
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;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]