Florian Müllner c0012c2ea4 windowManager: Limit switch gestures to normal mode ... The window group is hidden while in overview, so the stick-to-content animation isn't visible either. Worse, the gestures messes up the position of window actors in that case. Just limit the gesture to normal mode for now, we will soon add it back in the overview with its own animation handling. https://gitlab.gnome.org/GNOME/gnome-shell/issues/516		2019-04-11 17:00:17 +00:00
..
extensionPrefs	cleanup: Use destructuring for imports from GI	2019-02-09 07:39:20 +01:00
gdm	loginDialog: Load logo file texture given resource scale	2019-03-01 17:12:53 +00:00
misc	weather: Handle missing permission store	2019-04-03 13:27:42 +00:00
perf	perf: Use var for METRICS	2019-03-21 10:18:02 +00:00
portalHelper	cleanup: Use destructuring for imports from GI	2019-02-09 07:39:20 +01:00
ui	windowManager: Limit switch gestures to normal mode	2019-04-11 17:00:17 +00:00
js-resources.gresource.xml	build: Remove remote menu support	2019-02-06 18:29:15 +01: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