[gnome-shell-sass] theme: Move .workspace-thumbnail* into _workspace-thumbnails.scss

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

commit e365aaf50c95f33be3bc460d8656325950790387
Author: nana-4 <hnmaigo gmail com>
Date:   Mon Jan 20 02:08:42 2020 +0900

    theme: Move .workspace-thumbnail* into _workspace-thumbnails.scss
    
    While workspace switcher is an OSD, workspace pager is an overview
    panel. So it makes more sense to separate them into different
    stylesheets.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/938

 _widgets.scss                      |  1 +
 widgets/_workspace-switcher.scss   | 33 ---------------------------------
 widgets/_workspace-thumbnails.scss | 32 ++++++++++++++++++++++++++++++++
 3 files changed, 33 insertions(+), 33 deletions(-)
---
diff --git a/_widgets.scss b/_widgets.scss
index 8f28929..87dab2a 100644
--- a/_widgets.scss
+++ b/_widgets.scss
@@ -39,6 +39,7 @@
 @import 'widgets/search-results';
 @import 'widgets/app-grid';
 @import 'widgets/dash';
+@import 'widgets/workspace-thumbnails';
 // A11y / misc
 @import 'widgets/a11y';
 @import 'widgets/misc';
diff --git a/widgets/_workspace-switcher.scss b/widgets/_workspace-switcher.scss
index a6ea83a..2fe4380 100644
--- a/widgets/_workspace-switcher.scss
+++ b/widgets/_workspace-switcher.scss
@@ -34,36 +34,3 @@
   border-radius: $base_border_radius + 3px;
   color: $selected_fg_color;
 }
-
-/* Workspace pager */
-
-// thumbnails in overview
-.workspace-thumbnails { 
-  @extend %overview_panel;
-  visible-width: 32px; //amount visible before hover
-  spacing: $base_spacing;
-  padding: $base_padding;
-
-  border-radius: $modal_radius 0 0 $modal_radius;
-  border-right-width: 0;
-
-  &:rtl {
-    border-radius: 0 $modal_radius $modal_radius 0; 
-    border-left-width: 0;
-  }
-
-  // drag and drop indicator
-  .placeholder {
-    background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
-    background-size: contain;
-    height: 24px;
-  }
-}
-
-// selected indicator
-.workspace-thumbnail-indicator {
-  border: 3px solid $selected_bg_color;
-  border-radius: 3px;
-  padding: 0px;
-  // background-color: transparentize($selected_bg_color, 0.9);
-}
diff --git a/widgets/_workspace-thumbnails.scss b/widgets/_workspace-thumbnails.scss
new file mode 100644
index 0000000..da76381
--- /dev/null
+++ b/widgets/_workspace-thumbnails.scss
@@ -0,0 +1,32 @@
+/* Workspace pager */
+
+// thumbnails in overview
+.workspace-thumbnails {
+  @extend %overview_panel;
+  visible-width: 32px; //amount visible before hover
+  spacing: $base_spacing;
+  padding: $base_padding;
+
+  border-radius: $modal_radius 0 0 $modal_radius;
+  border-right-width: 0;
+
+  &:rtl {
+    border-radius: 0 $modal_radius $modal_radius 0;
+    border-left-width: 0;
+  }
+
+  // drag and drop indicator
+  .placeholder {
+    background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
+    background-size: contain;
+    height: 24px;
+  }
+}
+
+// selected indicator
+.workspace-thumbnail-indicator {
+  border: 3px solid $selected_bg_color;
+  border-radius: 3px;
+  padding: 0px;
+  // background-color: transparentize($selected_bg_color, 0.9);
+}