
This should be the last fallout from the theme refresh, make sure all the boxes of the workspace switcher popup are the correct size. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1022
GNOME Shell Sass
GNOME Shell Sass is a project intended to allow the sharing of the theme sources in sass between gnome-shell and other projects like gnome-shell-extensions.
Any changes should be done in the GNOME Shell subtree and not the stand-alone gnome-shell-sass repository. They will then be synchronized periodically before releases.
License
GNOME Shell Sass is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.