6 Commits

Author	SHA1	Message	Date
Jonas Dreßler	c5634335b0	workspace: Remove WindowOverlay in favour of new overlays of WindowClone ... Start using the new overlays we introduced in the last commit and remove the WindowOverlay class and the objects for keeping track of them in the Workspace. The new layout which doesn't use the -shell-close-overlap CSS property anymore sligthly changes the position of the close button to be a bit further away from the actual window. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1298	2020-06-11 20:50:08 +02:00
Jakub Steiner	f755905c75	theme: revert window picker whitespace ... - revert to the more compact overview, providing more space for the window thumbnails. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/2187	2020-02-12 11:27:14 +00:00
Sam Hewitt	e9d484f77f	theme: window-picker, use osd styling for title tooltips; tidy sass ... https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904	2020-01-09 16:43:26 +01:00
Sam Hewitt	79a837b87a	theme: use the fontsize function consistently ... https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904	2020-01-09 16:43:26 +01:00
Sam Hewitt	891f2201c5	theme: use spaces instead of tabs ... https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904	2020-01-09 16:43:24 +01:00
Sam Hewitt	9ea745bcd4	theme: base of the refactor ... - split _common.scss into widgets - improve _drawing functions - minify SVG assets https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904	2020-01-09 16:42:57 +01:00