2019-12-18 16:25:03 -05:00
|
|
|
/* Workspace Switcher */
|
|
|
|
.workspace-switcher-group {
|
2019-12-19 10:38:27 -05:00
|
|
|
padding: $base_padding * 2;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.workspace-switcher-container {
|
2019-12-19 10:38:27 -05:00
|
|
|
@extend %osd_panel;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.workspace-switcher {
|
2019-12-19 10:38:27 -05:00
|
|
|
background: transparent;
|
|
|
|
border: none;
|
|
|
|
border-radius: 0;
|
|
|
|
padding: 0;
|
|
|
|
spacing: $base_spacing * 2;
|
2019-12-19 15:56:45 -05:00
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 15:56:45 -05:00
|
|
|
.ws-switcher-box {
|
|
|
|
// background: transparent;
|
|
|
|
background: transparent;
|
|
|
|
height: 50px;
|
|
|
|
background-size: 32px;
|
|
|
|
border: 1px solid transparentize($osd_fg_color,0.9);
|
|
|
|
border-radius: $base_border_radius + 3px;
|
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 15:56:45 -05:00
|
|
|
// active workspace in the switcher
|
|
|
|
.ws-switcher-active-up,
|
|
|
|
.ws-switcher-active-down,
|
|
|
|
.ws-switcher-active-left,
|
|
|
|
.ws-switcher-active-right {
|
|
|
|
background-color: $selected_bg_color;
|
|
|
|
border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
|
2020-01-12 09:54:22 -05:00
|
|
|
border-radius: $base_border_radius + 3px;
|
2019-12-19 15:56:45 -05:00
|
|
|
color: $selected_fg_color;
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Workspace pager */
|
|
|
|
|
|
|
|
// thumbnails in overview
|
|
|
|
.workspace-thumbnails {
|
2019-12-19 10:38:27 -05:00
|
|
|
@extend %overview_panel;
|
|
|
|
visible-width: 32px; //amount visible before hover
|
|
|
|
spacing: $base_spacing;
|
|
|
|
padding: $base_padding;
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 15:56:45 -05:00
|
|
|
border-radius: $modal_radius 0 0 $modal_radius;
|
2020-01-24 21:37:16 -05:00
|
|
|
border-right-width: 0;
|
2019-12-19 15:56:45 -05:00
|
|
|
|
2020-01-24 21:37:16 -05:00
|
|
|
&:rtl {
|
2019-12-19 10:38:27 -05:00
|
|
|
border-radius: 0 $modal_radius $modal_radius 0;
|
2020-01-24 21:37:16 -05:00
|
|
|
border-left-width: 0;
|
2019-12-19 10:38:27 -05:00
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
|
2019-12-19 10:38:27 -05:00
|
|
|
// drag and drop indicator
|
|
|
|
.placeholder {
|
|
|
|
background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
|
|
|
|
background-size: contain;
|
|
|
|
height: 24px;
|
|
|
|
}
|
2019-12-18 16:25:03 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// selected indicator
|
|
|
|
.workspace-thumbnail-indicator {
|
2019-12-19 10:38:27 -05:00
|
|
|
border: 3px solid $selected_bg_color;
|
|
|
|
border-radius: 3px;
|
|
|
|
padding: 0px;
|
|
|
|
// background-color: transparentize($selected_bg_color, 0.9);
|
2020-01-24 21:37:16 -05:00
|
|
|
}
|