[gnome-shell] Darken workspace indicator when doing lightbox effect

[Colin Walters <walters src gnome org>]

commit cdd508e12d825f8b6c411448513c24fd17f862bb
Author: Florian Muellner <florian muellner gmail com>
Date:   Sun Nov 15 02:24:43 2009 +0100

    Darken workspace indicator when doing lightbox effect
    
    Adjust the opacity of the workspace indicator to not having it stand out too badly when in lightbox mode.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=594556

 js/ui/workspaces.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index 1cde8ac..8e4a60d 100644
--- a/js/ui/workspaces.js
+++ b/js/ui/workspaces.js
@@ -575,6 +575,9 @@ Workspace.prototype = {
             this._lightbox.destroy();
             this._lightbox = null;
         }
+        if (this._frame) {
+            this._frame.set_opacity(showLightbox ? 150 : 255);
+        }
     },
 
     /**