Florian Müllner 451c753e4a windowManager: Fix a warning
The destroy effect currently relies on a monkey-patched property
added from the map effect. However on X11 it is possible that we
did no map animation for a window that is destroyed when the shell
was restarted or had taken over from another WM. Just use the real
MetaWindow property to avoid a warning in that case.

https://bugzilla.gnome.org/show_bug.cgi?id=781471
2017-07-13 17:25:10 +02:00
..
2017-07-13 17:25:10 +02:00
2017-07-13 17:25:10 +02:00
2017-07-13 17:25:10 +02:00