isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

theme: window-picker, use osd styling for title tooltips; tidy sass

Browse Source 
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/904
This commit is contained in:
Sam Hewitt 2019-12-19 19:01:37 -05:00 committed by Florian Müllner
parent f2e9757862
commit e9d484f77f
2 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
data/theme/gnome-shell-sass/_common.scss
View File

@ -106,7 +106,6 @@ stage {
color: $osd_fg_color; color: $osd_fg_color;
} }
// osd panels // osd panels
%osd_panel { %osd_panel {
color: $osd_fg_color; color: $osd_fg_color;

24
data/theme/gnome-shell-sass/widgets/_window-picker.scss
View File

@ -1,7 +1,7 @@
/* Window Picker */ /* Window Picker */
$window_picker_spacing: 48px; $window_picker_spacing: $base_spacing * 8; // 48px
$window_picker_padding: 64px; $window_picker_padding: $base_padding * 10; // 60px
$window_thumbnail_border_color:transparentize($selected_fg_color, 0.65); $window_thumbnail_border_color:transparentize($selected_fg_color, 0.65);
@ -22,8 +22,10 @@ $window_close_button_padding: 3px;
// Borders on window thumbnails // Borders on window thumbnails
.window-clone-border { .window-clone-border {
border: 6px solid $window_thumbnail_border_color; border-width: 6px;
border-radius: $base_border_radius + 2px; border-style: solid;
border-color: $window_thumbnail_border_color;
border-radius: $base_border_radius + 2;
// For window decorations with round corners we can't match // For window decorations with round corners we can't match
// the exact shape when the window is scaled. So apply a shadow // the exact shape when the window is scaled. So apply a shadow
// to fix that case // to fix that case
@ -32,15 +34,13 @@ $window_close_button_padding: 3px;
// Window titles // Window titles
.window-caption { .window-caption {
spacing: 24px; color: $osd_fg_color;
color: $selected_fg_color; background-color: $osd_bg_color;
background-color: rgba(0,0,0,0.5); border:1px solid $osd_outer_borders_color;
border:1px solid rgba(0,0,0,0.6); border-radius: $base_border_radius + 1;
border-radius: 8px; padding: $base_padding $base_padding * 2;
margin-top: 24px;
padding: 4px 12px;
@include fontsize($base_font_size + 1);
font-weight: bold; font-weight: bold;
@include fontsize($base_font_size + 1);
} }
// Close button // Close button