Sebastian Keller
901ecfb619
theme: Use the same style for dash tooltips as for window captions
...
Both serve a similar function but had different styles. Since these two
can now be seen next to each other, the visual difference is quite
noticeable.
Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3727
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1681 >
2021-02-16 19:27:15 +00:00
Florian Müllner
3a9acb9602
dash: Re-fittsify
...
Now that the dash is no longer attached to a screen edge, it lost
its "infinite width" (Fitts' law). Restore it by moving the visible
bar into a separate layer underneath the actual icons, extend the
icons to the bottom edge, and replace the margin around the dash
with padding inside the icons.
https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/89
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1660 >
2021-02-10 15:46:00 +00:00
Jakub Steiner
53ea9ba805
theme: Space dash items
...
- don't nuke separator
- space appropriately
Fixes a fix for https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3640
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1636 >
2021-02-05 12:06:30 +00:00
Jakub Steiner
30b6816a86
theme: Adjust dash icon spacing
...
- slight separation between favorites and the app-well icon
Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3640
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1634 >
2021-02-04 17:16:50 +01:00
Georges Basile Stavracas Neto
0d4eaa6f19
theme: Make Dash background color solid
...
This is the same color that the Dash currently has, except
it isn't transparent.
The reason for this change is that the app grid coming from
the bottom and passing below the Dash looks odd with the
transparency there.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593 >
2021-01-29 15:01:03 +00:00
Florian Müllner
55d85cd55b
dash: Add separator between favorite and running apps
...
Only the area used by favorite apps can be used as drop targets, it
is not possible to add new favorites between the running apps at the
end. While that behavior makes sense, it is currently impossible to
distinguish the two areas with confusing results.
Address this by adding a visual separator between favorites and
running apps.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1606 >
2021-01-29 00:30:20 +00:00
Jakub Steiner
827c137391
theme: Theme dash closer to mockup
...
- use a light, nostroke dash
- boost border radius globally
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1559 >
2021-01-19 13:47:06 +00:00
Georges Basile Stavracas Neto
97eb4560ef
Make Dash horizontal
...
And move it to the bottom of the overview. Change the height-based calculation
of the icon sizes to be width-based. Put the DashFader in a vertical box, and
make all corners of the Dash equally rounded.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1559 >
2021-01-19 13:47:06 +00:00
nana-4
60f12da3cd
theme: Simplify .overview-icon styling
...
This reduces duplicate code by using overview-icon() and %app-well-app
to improve maintainability.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/957
2020-02-06 20:31:42 +00:00
nana-4
9d91b586d8
theme: Remove unnecessary !important rules
...
Using !important is a bad practice and should be avoided wherever
possible to make styling and debugging easier. See:
https://developer.mozilla.org/en-US/docs/Web/CSS/Specificity#The_!important_exception
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/957
2020-02-06 20:31:42 +00:00
nana-4
c95926aaed
theme: Fix dash tooltip misalignment
...
margin-top is unnecessary here.
Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/2130
2020-01-25 08:51:12 +09:00
nana-4
ebf6e75b5e
theme: Fix off-centered clickable area of dash items
...
https://gitlab.gnome.org/GNOME/gnome-shell/issues/2088
2020-01-17 12:21:44 +00:00
Sam Hewitt
29a561c0b1
theme: add space between & and .
...
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904
2020-01-09 16:43:26 +01:00
Sam Hewitt
d713d78745
theme: dash, tidy the 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
