theme: Add missing border-radius to the active workspace in the switcher

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2088
2020-01-12 23:54:22 +09:00 · 2020-01-12 23:54:22 +09:00 · fbfa22f964
commit fbfa22f964
parent 260cce9d92
1 changed files with 1 additions and 0 deletions
--- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
+++ b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
@ -31,6 +31,7 @@
 .ws-switcher-active-right {
  background-color: $selected_bg_color;
  border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
+  border-radius: $base_border_radius + 3px;
  color: $selected_fg_color;
 }