Florian Müllner fc71f8b33a 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 18:58:55 +01:00
..
extensionPrefs	cleanup: Use (un)block_signal_handler() convenience wrapper	2019-10-30 19:40:15 +00:00
gdm	st: Remove StBin's align properties	2019-11-04 21:27:56 +01:00
misc	inputMethod: Compare ibus context before processing key event result	2019-11-08 12:23:15 +00:00
perf	overview: Add OverviewActor and use as main actor of the Overlay	2019-10-16 15:26:13 +00:00
portalHelper	cleanup: Use more template strings	2019-11-05 01:51:29 +00:00
ui	windowManager: Complete interrupted size change effects	2019-11-08 18:58:55 +01:00
js-resources.gresource.xml	accessibility: Add pointer accessibility support	2019-06-06 09:13:29 +02:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00