[gnome-shell-sass] theme: Add missing border-radius to the active workspace in the switcher

[Florian Müllner <fmuellner src gnome org>]

commit 33bde7699d28a29901ed5554b5e1035ec37af2dc
Author: nana-4 <hnmaigo gmail com>
Date:   Sun Jan 12 23:54:22 2020 +0900

    theme: Add missing border-radius to the active workspace in the switcher
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/2088

 widgets/_workspace-switcher.scss | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/widgets/_workspace-switcher.scss b/widgets/_workspace-switcher.scss
index 6d18289..1c1cd9c 100644
--- a/widgets/_workspace-switcher.scss
+++ b/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;
 }