[gnome-shell] [linearView] Update workspace opacity

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

commit d8f7629a4f4c94341c99ec4a0562bbc64df6fab2
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Jun 8 02:43:32 2010 +0200

    [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 files changed, 5 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index c6c8103..2683d1d 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();