Florian Müllner a43c22e3af windowManager: Complete interrupted size change effects ... Resizing effects are more finicky as other effects, as the actual animation is delayed until we receive the ::size-changed signal. However that signal may never be emitted if the window is destroyed just after starting the size-change effect, in which case the effect is never completed, blocking mutter from destroying the corresponding window actor. Address this by tracking when a resize effect is pending, and complete the effect when appropriate. https://gitlab.gnome.org/GNOME/mutter/issues/655 https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/815		2019-11-08 23:20:17 +01:00
..
extensionPrefs	cleanup: Use consistent brace style of blocks	2019-09-15 16:02:45 +02:00
gdm	loginDialog: Stop using deprecated actor property	2019-09-20 16:58:00 +00:00
misc	ibusManager: Cancel the preload engines timeout on clear	2019-10-02 18:19:53 +02:00
perf	cleanup: Disambiguate assignments in arrow functions	2019-09-15 16:02:45 +02:00
portalHelper	cleanup: Mark globals used from other modules as exported	2019-07-24 00:28:45 +02:00
ui	windowManager: Complete interrupted size change effects	2019-11-08 23:20:17 +01:00
js-resources.gresource.xml	accessibility: Add pointer accessibility support	2019-06-06 09:13:29 +02:00
meson.build
portal-resources.gresource.xml
prefs-resources.gresource.xml