From c0ef30d416447af9b5f09c22fcf528a74fd52a93 Mon Sep 17 00:00:00 2001
From: Alessandro Bono <abono@gnome.org>
Date: Thu, 26 Oct 2017 19:09:37 +0200
Subject: [PATCH] theme: Restore drag effect between workspaces

When dragging a window between two workspaces a light effect used
to be present. The effect was lost probably during the theme revamp
in version 3.16.

https://bugzilla.gnome.org/show_bug.cgi?id=789103
---
 data/theme/gnome-shell-high-contrast.css | 4 ++++
 data/theme/gnome-shell-sass              | 2 +-
 data/theme/gnome-shell.css               | 4 ++++
 3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index 51477e713..a2167be77 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1339,6 +1339,10 @@ StScrollBar {
   border-radius: 9px 0 0 9px; }
   .workspace-thumbnails:rtl {
     border-radius: 0 9px 9px 0; }
+  .workspace-thumbnails .placeholder {
+    background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
+    background-size: contain;
+    height: 24px; }
 
 .workspace-thumbnail-indicator {
   border: 4px solid #215d9c;
diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index 336c2d5ad..de41fb43a 160000
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit 336c2d5ad6b165f586330ec7e1fdc23ff220638a
+Subproject commit de41fb43a58e3b10b9f7df83904bd9e0e381637b
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 6aab70867..c56a3b72d 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1339,6 +1339,10 @@ StScrollBar {
   border-radius: 9px 0 0 9px; }
   .workspace-thumbnails:rtl {
     border-radius: 0 9px 9px 0; }
+  .workspace-thumbnails .placeholder {
+    background-image: url("resource:///org/gnome/shell/theme/dash-placeholder.svg");
+    background-size: contain;
+    height: 24px; }
 
 .workspace-thumbnail-indicator {
   border: 4px solid #215d9c;