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