Robert Mader 403d8fcc66 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)
2019-11-08 22:44:34 +00:00
..
2019-07-18 11:01:09 +02:00
2018-07-24 13:16:36 +00:00