2020-01-19 12:08:42 -05:00
|
|
|
/* Workspace pager */
|
|
|
|
|
|
|
|
|
|
// thumbnails in overview
|
|
|
|
|
.workspace-thumbnails {
|
|
|
|
|
visible-width: 32px; //amount visible before hover
|
|
|
|
|
spacing: $base_spacing;
|
|
|
|
|
padding: $base_padding;
|
|
|
|
|
|
2021-01-25 19:11:28 -05:00
|
|
|
.workspace-thumbnail {
|
|
|
|
|
@extend %overview_panel;
|
|
|
|
|
border-radius: 3px;
|
2020-01-19 12:08:42 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// drag and drop indicator
|
|
|
|
|
.placeholder {
|
2021-04-09 11:19:11 -04:00
|
|
|
background-image: url("resource:///org/gnome/shell/theme/workspace-placeholder.svg");
|
2020-01-19 12:08:42 -05:00
|
|
|
background-size: contain;
|
2021-01-25 19:11:28 -05:00
|
|
|
width: 18px;
|
2020-01-19 12:08:42 -05:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// selected indicator
|
|
|
|
|
.workspace-thumbnail-indicator {
|
|
|
|
|
border: 3px solid $selected_bg_color;
|
|
|
|
|
border-radius: 3px;
|
|
|
|
|
padding: 0px;
|
|
|
|
|
// background-color: transparentize($selected_bg_color, 0.9);
|
|
|
|
|
}
|
