ASCII text
1
/* Workspace pager */
2
@use "../../../../theme";
4
@use "../../../../theme-color";
5
@use "../../gnome-shell";
6
@use "overview";
7
// thumbnails in overview
9
.workspace-thumbnails {
10
@if gnome-shell.$version >= 40 {
11
padding: 0;
12
spacing: 12px;
13
.workspace-thumbnail {
15
@extend %overview-panel;
16
border-radius: theme.$corner-radius;
17
}
18
} @else {
19
@extend %overview-panel;
20
visible-width: 32px; // amount visible before hover
21
padding: 12px;
22
spacing: 12px;
23
border-right-width: 0;
24
border-radius: theme.$corner-radius 0 0 theme.$corner-radius;
25
&:rtl {
27
border-left-width: 0;
28
border-radius: 0 theme.$corner-radius theme.$corner-radius 0;
29
}
30
}
31
// drag and drop indicator
33
.placeholder {
34
background-image: url("assets/dash-placeholder.svg");
35
background-size: contain;
36
@if gnome-shell.$version >= 40 {
38
width: 24px;
39
} @else {
40
height: 24px;
41
}
42
}
43
}
44
// selected indicator
46
.workspace-thumbnail-indicator {
47
border: 0 solid theme-color.$on-dark;
48
border-radius: 0;
49
@if gnome-shell.$version >= 40 {
51
padding: 6px;
52
border-bottom-width: 2px;
53
} @else {
54
padding: 6px 10px;
55
border-left-width: 2px;
56
}
57
}
58