Alexander Mikhaylenko 109f39afa5 pageIndicators: Redesign and add position-based animation ... Remove setCurrentPage() function, introduce setCurrentPosition() instead, which allows to have fractional positions. Make inactive dots smaller, filled and partially transparent, as opposed to larger and fully opaque active dot. Make dots smaller overall, remove borders. Interpolate each dot between active and inactive state based on scroll position. Make it impossible to "uncheck" the active dot. Thanks Florian Müllner for parts of the code. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1932 https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/843		2019-11-23 03:01:51 +05:00
..
extensionPrefs	cleanup: Avoid unnecessary parentheses	2019-11-11 19:25:14 +00:00
gdm	style: Allow lonely ifs where appropriate	2019-11-11 23:51:17 +00:00
misc	dateMenu: Format weather forecast times without AM/PM	2019-11-20 13:08:06 -08: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	pageIndicators: Redesign and add position-based animation	2019-11-23 03:01:51 +05: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