mirror of
https://github.com/elementary/gala.git
synced 2024-09-11 15:15:39 +03:00
windowmanager: Fix build with mutter < 3.18
This commit is contained in:
commit
c11fdea7ee
@ -1111,7 +1111,9 @@ namespace Gala
|
||||
unowned AnimationSettings animation_settings = AnimationSettings.get_default ();
|
||||
var window = actor.get_meta_window ();
|
||||
|
||||
#if HAS_MUTTER318
|
||||
ws_assoc.remove (window);
|
||||
#endif
|
||||
|
||||
if (!animation_settings.enable_animations) {
|
||||
destroy_completed (actor);
|
||||
|
Loading…
Reference in New Issue
Block a user