751189253a
Switch to the new WorkspaceLayout layout manager to allocate the window clones of the overview properly using Clutters layouting mechanisms. Since we now no longer make use of the fullGeometry, we can remove the setFullGeometry() function from the Workspace class. Also we can stop setting the actualGeometry on the Workspaces and WorkspaceViews and instead just set the fixed position and size of the views to their full or actual geometry. This also has the benefit that we no longer have to set a custom clip, but can simply enable clip_to_allocation. The geometry needs to be set inside a BEFORE_REDRAW later because _updateWorkspacesActualGeometry() is called from a notify::allocation handler. This isn't doing any animations when showing/hiding the overview yet, we'll add that in the next commit. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1305
66 lines
1.7 KiB
SCSS
66 lines
1.7 KiB
SCSS
/* Window Picker */
|
|
|
|
$window_picker_spacing: $base_spacing; // 6px
|
|
$window_picker_padding: $base_padding * 2; // 12px
|
|
|
|
$window_thumbnail_border_color:transparentize($selected_fg_color, 0.65);
|
|
|
|
$window_close_button_size: 24px;
|
|
$window_close_button_padding: 3px;
|
|
|
|
$window_clone_border_size: 6px;
|
|
|
|
// Window picker
|
|
.window-picker {
|
|
// Space between window thumbnails
|
|
spacing: $window_picker_spacing;
|
|
|
|
// Padding for container around window thumbnails
|
|
padding: $window_picker_padding;
|
|
|
|
&.external-monitor { padding: $window_picker_padding; }
|
|
}
|
|
|
|
// Borders on window thumbnails
|
|
.window-clone-border {
|
|
border-width: $window_clone_border_size;
|
|
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
|
|
// the exact shape when the window is scaled. So apply a shadow
|
|
// to fix that case
|
|
box-shadow: inset 0 0 0 1px transparentize($borders_color, 0.8);
|
|
}
|
|
|
|
// Window titles
|
|
.window-caption {
|
|
color: $osd_fg_color;
|
|
background-color: $osd_bg_color;
|
|
border:1px solid $osd_outer_borders_color;
|
|
border-radius: $base_border_radius + 1;
|
|
padding: $base_padding $base_padding * 2;
|
|
font-weight: bold;
|
|
@include fontsize($base_font_size + 1);
|
|
}
|
|
|
|
// Close button
|
|
.window-close {
|
|
background-color: $selected_bg_color;
|
|
color: $selected_fg_color;
|
|
border: none;
|
|
border-radius: $window_close_button_size * 0.5 + $window_close_button_padding * 2;
|
|
padding: $window_close_button_padding;
|
|
height: $window_close_button_size;
|
|
width: $window_close_button_size;
|
|
box-shadow: -1px 1px 5px 0px rgba(0,0,0,0.5);
|
|
|
|
&:hover {
|
|
background-color: lighten($selected_bg_color, 5%);
|
|
}
|
|
|
|
&:active {
|
|
background-color: darken($selected_bg_color, 5%);
|
|
}
|
|
}
|