gnome-shell/js
Jonas Ådahl 57ed68541a environment: Disable fullscreen unredirect during all transitions
When there is a transition, it's likely that we are animating some part
of the desktop, and in such situations we don't want to unredirect
fullscreen windows.

This fixes unwanted unredirection when e.g. hiding a modal dialog by
re-enabling the unredirection after the animation has finished, instead
of when it starts.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/721
2019-09-13 16:10:17 +00:00
..
extensionPrefs extensionPrefs: Block notify::active signal handler while updating state 2019-09-09 19:50:31 +00:00
gdm realmd: Set login format to null on start and update if invalid 2019-09-09 19:28:18 +00:00
misc cleanup: Stop using Mainloop module 2019-09-12 19:09:24 +02:00
perf perf: Shut up another eslint error 2019-07-24 00:28:45 +02:00
portalHelper cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
ui environment: Disable fullscreen unredirect during all transitions 2019-09-13 16:10:17 +00: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