Gnome-Shell: remove workspaces-switcher theme tweaks

2022-03-01 22:44:15 +01:00
parent bffccb82cc
commit dbd71be448
3 changed files with 0 additions and 42 deletions
@@ -2637,20 +2637,6 @@ $_osd_color: if($variant=='light', black, $fg_color);
  }
 }

-/* Workspace Switcher */
-/*
-.ws-switcher-box { border: none }
-
-.workspace-switcher-container { padding: 7px; }
-
-// active workspace in the switcher
-.ws-switcher-active-up,
-.ws-switcher-active-down,
-.ws-switcher-active-left,
-.ws-switcher-active-right {
-  //box-shadow: 0 0px 6px transparentize(black, .5);
-}
-
 /* Window Picker */
 .window-caption {
  color: black;