gnome-shell/js
Alexander Mikhaylenko b21c8c1290 workspacesView: Round workspace position
Prevent blurring when scrolling workspaces by aligning it to pixel grid,
and be consistent with app grid.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/930
2020-01-11 02:58:19 +05:00
..
extensionPrefs extensionPrefs: Don't (re-)bind text domain 2020-01-06 13:10:43 +00:00
gdm js: Add caps-lock Warning to the dialogs 2019-12-17 23:08:43 +01:00
misc systemActions: Alias power-off to halt and stop 2020-01-08 15:32:28 +00: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 workspacesView: Round workspace position 2020-01-11 02:58:19 +05:00
js-resources.gresource.xml swipeTracker: Introduce swipe tracker 2020-01-10 18:20:22 +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