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

[Jakub Steiner <jimmac src gnome org>]

commit fbfa22f964559866067bb4660d6ce6243a2d8398
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

 data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss 
b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
index 6d18289936..1c1cd9c776 100644
--- 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;
 }