Gnome-Shell: change window-clone-border color

2020-04-21 22:23:33 +02:00
parent a599efb39b
commit 1d679abd36
3 changed files with 5 additions and 8 deletions
@@ -89,9 +89,8 @@ $_osd_color: if($variant=='light', black, white);

 // Borders on window thumbnails
 .window-clone-border {
-  border: 5px solid transparentize(white, .5);
+  border: 6px solid transparentize(white, .75);
  border-radius: 6px;
-  box-shadow: inset 0 0 0 2px white;
 }

 // Window titles