by roundabout, Wednesday, 13 December 2017, 15:28:23 (1513178903), pushed by roundabout, Sunday, 11 May 2025, 13:22:18 (1746969738)
Author identity: nana-4 <hnmaigo@gmail.com>
7e0009f1b4be4a9d80288c574dbc01ba92ad1815
src/gnome-shell/3.26/gnome-shell-compact.css
@@ -1730,7 +1730,7 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {
.window-picker {
-horizontal-spacing: 16px;
-vertical-spacing: 16px;
padding: 0 16px 16px;
padding: 0 16px 32px;
}
.window-picker.external-monitor {
src/gnome-shell/3.26/gnome-shell-dark-compact.css
@@ -1730,7 +1730,7 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {
.window-picker {
-horizontal-spacing: 16px;
-vertical-spacing: 16px;
padding: 0 16px 16px;
padding: 0 16px 32px;
}
.window-picker.external-monitor {
src/gnome-shell/3.26/gnome-shell-dark.css
@@ -1730,7 +1730,7 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {
.window-picker {
-horizontal-spacing: 16px;
-vertical-spacing: 16px;
padding: 0 16px 16px;
padding: 0 16px 32px;
}
.window-picker.external-monitor {
src/gnome-shell/3.26/gnome-shell-light-compact.css
@@ -1730,7 +1730,7 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {
.window-picker {
-horizontal-spacing: 16px;
-vertical-spacing: 16px;
padding: 0 16px 16px;
padding: 0 16px 32px;
}
.window-picker.external-monitor {
src/gnome-shell/3.26/gnome-shell-light.css
@@ -1730,7 +1730,7 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {
.window-picker {
-horizontal-spacing: 16px;
-vertical-spacing: 16px;
padding: 0 16px 16px;
padding: 0 16px 32px;
}
.window-picker.external-monitor {
src/gnome-shell/3.26/gnome-shell.css
@@ -1730,7 +1730,7 @@ StScrollBar StButton#vhandle:active, StScrollBar StButton#hhandle:active {
.window-picker {
-horizontal-spacing: 16px;
-vertical-spacing: 16px;
padding: 0 16px 16px;
padding: 0 16px 32px;
}
.window-picker.external-monitor {
src/gnome-shell/3.26/sass/_common.scss
@@ -1384,7 +1384,7 @@ StScrollBar {
.window-picker { //container around window thumbnails
-horizontal-spacing: 16px;
-vertical-spacing: 16px;
padding: 0 16px 16px;
padding: 0 16px 32px;
&.external-monitor { padding: 16px; }
}