Florian Müllner e5b9043435 workspacesView: Support touch/touchpad gestures to switch workspaces ... Now that the existing touch/touchpad gestures in windowManager only handle normal mode, add corresponding gestures for the overview and hook them up to the existing workspace scroll animations. 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	workspacesView: Support touch/touchpad gestures to switch workspaces	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