gnome-shell/js
Robert Mader 28d42628d1 windowManager: Always reset window actors when minimize animation is cancelled
This was left out in b6d47c18c. Fixes an occasional warning:
`this._minimizeWindowOverwritten is not a function`

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/911
2019-12-21 15:28:32 +01:00
..
extensionPrefs extensionPrefs: Always redefine getCurrentExtension() on prefsModule access 2019-12-05 15:24:34 +00:00
gdm js: Add caps-lock Warning to the dialogs 2019-12-17 23:08:43 +01:00
misc util: Place spawned processes into a systemd scope 2019-12-11 09:34:36 +01:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
ui windowManager: Always reset window actors when minimize animation is cancelled 2019-12-21 15:28:32 +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