Jonas Dreßler c23ad83c59 windowManager: Warn when removing old animationInfo ... Now that we properly notify mutter about when a size-change animation has ended, it should never happen that a new size-change animation is started without the last one being cancelled (ie. 'kill-window-effects' being emitted). This means there should also never be an old animationInfo attached to a window actor, so warn in case we still find one when starting the animation. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1251		2020-06-15 13:12:03 +00:00
..
dbusServices	notificationDaemon: Fix grouping by PID	2020-05-19 08:24:07 +00:00
gdm	Remove ClutterAllocationFlags	2020-05-20 15:12:03 +02:00
misc	util: Remove unused class CloseButton	2020-06-11 20:49:31 +02:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	js: Don't use templates in files with translations	2020-02-17 23:20:40 +01:00
ui	windowManager: Warn when removing old animationInfo	2020-06-15 13:12:03 +00:00
js-resources.gresource.xml	js: Drop tweener.js	2020-04-15 13:25:14 +00:00
meson.build	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml	js: Remove unused files from resources	2020-03-09 13:18:48 +00:00