gnome-shell/js
Florian Müllner a9cbbd8017 pageIndicators: Remove animated indicators
Nothing uses them anymore, so clean out the code.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1629>
2021-02-03 09:55:29 +01:00
..
dbusServices dbusServices/screencast: Use GTK4 2021-01-25 21:09:22 +01:00
gdm loginDialog: Make notListedButton accessible 2021-01-13 22:10:03 +01:00
misc util: Add lerp function 2021-01-29 15:01:03 +00:00
perf perf: Add basic run tests 2020-08-12 15:43:39 +00:00
portalHelper js: Don't use templates in files with translations 2020-02-17 23:20:40 +01:00
ui pageIndicators: Remove animated indicators 2021-02-03 09:55:29 +01:00
js-resources.gresource.xml workspaceAnimation: Split from WindowManager 2021-02-02 19:35:07 +00:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js: Remove unused files from resources 2020-03-09 13:18:48 +00:00