gnome-shell: Update border-radius to 4px for workspaces-to-dock.css
Eventually, this should be converted to SCSS...
by roundabout, Wednesday, 14 November 2018, 20:31:37 (1542227497), pushed by roundabout, Sunday, 11 May 2025, 13:22:29 (1746969749)
Author identity: nana-4 <hnmaigo@gmail.com>
47bb831c54e7bbb8e2019b7dfaf24e1ca7621b7d
src/gnome-shell/extensions/workspaces-to-dock/workspaces-to-dock.css
@@ -51,19 +51,19 @@
}
#workspacestodockDock.right .workspace-thumbnails {
border-radius: 2px 0 0 2px;
border-radius: 4px 0 0 4px;
}
#workspacestodockDock.left .workspace-thumbnails {
border-radius: 0 2px 2px 0;
border-radius: 0 4px 4px 0;
}
#workspacestodockDock.top .workspace-thumbnails {
border-radius: 0 0 2px 2px;
border-radius: 0 0 4px 4px;
}
#workspacestodockDock.bottom .workspace-thumbnails {
border-radius: 2px 2px 0 0;
border-radius: 4px 4px 0 0;
}
#workspacestodockDock.right.inside .workspace-thumbnails {
@@ -135,7 +135,7 @@
}
#workspacestodockDock.right.inside .workspacestodock-shortcuts-panel {
border-radius: 2px 0 0 2px;
border-radius: 4px 0 0 4px;
padding: 0;
spacing: 0;
border-left: none;
@@ -143,7 +143,7 @@
}
#workspacestodockDock.left.inside .workspacestodock-shortcuts-panel {
border-radius: 0 2px 2px 0;
border-radius: 0 4px 4px 0;
padding: 0;
spacing: 0;
border-left: 1px;
@@ -151,7 +151,7 @@
}
#workspacestodockDock.top.inside .workspacestodock-shortcuts-panel {
border-radius: 0 0 2px 2px;
border-radius: 0 0 4px 4px;
padding: 0;
spacing: 0;
border-top: 1px;
@@ -159,7 +159,7 @@
}
#workspacestodockDock.bottom.inside .workspacestodock-shortcuts-panel {
border-radius: 2px 2px 0 0;
border-radius: 4px 4px 0 0;
padding: 0;
spacing: 0;
border-top: none;
@@ -343,11 +343,11 @@
.workspacestodock-workspace-caption-background {
background-color: rgba(0, 0, 0, 0.6);
/* border-radius: 0 0 2px 2px; */
/* border-radius: 0 0 4px 4px; */
}
.workspacestodock-workspace-caption-background.caption-top {
/* border-radius: 2px 2px 0 0; */
/* border-radius: 4px 4px 0 0; */
}
.workspacestodock-workspace-caption {