From d8f7629a4f4c94341c99ec4a0562bbc64df6fab2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 8 Jun 2010 02:43:32 +0200
Subject: [PATCH] [linearView] Update workspace opacity

While zoomed out in drag mode, the workspaces at the left and right
of the active workspace are slightly transparent - when switching
workspaces, one of the transparent workspaces becomes the new active
workspace, but its opacity is not updated.

https://bugzilla.gnome.org/show_bug.cgi?id=620940
---
 js/ui/workspacesView.js | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index c6c81037d..2683d1d74 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -794,6 +794,7 @@ SingleView.prototype = {
     _scrollToActive: function(showAnimation) {
         let active = global.screen.get_active_workspace_index();
 
+        this._computeWorkspacePositions();
         this._updateWorkspaceActors(showAnimation);
         this._scrollScrollBarToIndex(active, showAnimation);
     },
@@ -1210,18 +1211,18 @@ SingleView.prototype = {
         if (leftWorkspace) {
             if (dragEvent.targetActor == this._leftShadow) {
                 hoverWorkspace = leftWorkspace;
-                leftWorkspace.actor.opacity = 255;
+                leftWorkspace.opacity = leftWorkspace.actor.opacity = 255;
             } else {
-                leftWorkspace.actor.opacity = 200;
+                leftWorkspace.opacity = leftWorkspace.actor.opacity = 200;
             }
         }
 
         if (rightWorkspace) {
             if (dragEvent.targetActor == this._rightShadow) {
                 hoverWorkspace = rightWorkspace;
-                rightWorkspace.actor.opacity = 255;
+                rightWorkspace.opacity = rightWorkspace.actor.opacity = 255;
             } else {
-                rightWorkspace.actor.opacity = 200;
+                rightWorkspace.opacity = rightWorkspace.actor.opacity = 200;
             }
         } else {
             let targetParent = dragEvent.targetActor.get_parent();