edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

dash: Re-fittsify

Browse source 
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>
This commit is contained in:
Florian Müllner 2021-02-09 19:57:55 +01:00 • committed by Marge Bot
parent 5c31ef6ae2
commit 3a9acb9602
2 changed files with 44 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

18
data/theme/gnome-shell-sass/widgets/_dash.scss
View file

@ -5,15 +5,14 @@ $dash_placeholder_size: 32px;
$dash_padding: $base_padding + 4px; // 10px
$dash_spacing: $base_padding / 4;
$dash_bottom_margin: $base_margin * 4;
$dash_border_radius: $modal_radius * 1.5;
#dash {
background-color: $dash_background_color;
@include fontsize($base_font_size - 2);
margin: $base_margin * 4 $base_margin * 2;
margin: $base_margin * 4 $base_margin * 2 0;
padding: 0 $dash_padding;
border-radius: $dash_border_radius;
.placeholder {
// background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
@ -32,14 +31,21 @@ $dash_border_radius: $modal_radius * 1.5;
}
}
.dash-background {
background-color: $dash_background_color;
margin-bottom: $dash_bottom_margin;
padding: $dash_padding;
border-radius: $dash_border_radius;
}
// Dash Items
.dash-item-container > StWidget {
padding: $dash_padding $dash_spacing;
.dash-item-container .app-well-app, .show-apps {
padding: 0 $dash_spacing $dash_bottom_margin;
}
.dash-separator {
width: 1px;
margin: 0 ($dash_spacing + ($dash_padding / 2));
margin: 0 ($dash_spacing + ($dash_padding / 2)) $dash_bottom_margin;
background-color: transparentize($osd_fg_color,0.7);
}