From 0d612b7954e9a0f1e0d23c32965771e41f8df654 Mon Sep 17 00:00:00 2001
From: Dan Winship <danw@src.gnome.org>
Date: Wed, 21 Jan 2009 21:12:49 +0000
Subject: [PATCH] Highlight the current workspace in the overlay view

Needs cooler-ness.

svn path=/trunk/; revision=158
---
 js/ui/workspaces.js | 61 +++++++++++++++++++++++++++++++++++++++++----
 1 file changed, 56 insertions(+), 5 deletions(-)

diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index c019c4661..975d30bb9 100644
--- a/js/ui/workspaces.js
+++ b/js/ui/workspaces.js
@@ -21,6 +21,8 @@ const WINDOWCLONE_BG_COLOR = new Clutter.Color();
 WINDOWCLONE_BG_COLOR.from_pixel(0x000000f0);
 const WINDOWCLONE_TITLE_COLOR = new Clutter.Color();
 WINDOWCLONE_TITLE_COLOR.from_pixel(0xffffffff);
+const FRAME_COLOR = new Clutter.Color();
+FRAME_COLOR.from_pixel(0xffffffff);
 
 // Define a layout scheme for small window counts. For larger
 // counts we fall back to an algorithm. We need more schemes here
@@ -40,6 +42,7 @@ const POSITIONS = {
 // in both zoomed-in and zoomed-out views; this is slightly
 // metaphor-breaking, but the alternatives are also weird.
 const GRID_SPACING = 15;
+const FRAME_SIZE = GRID_SPACING / 3;
 
 function Workspace(workspaceNum) {
     this._init(workspaceNum);
@@ -52,6 +55,7 @@ Workspace.prototype = {
 
         this._workspaceNum = workspaceNum;
         this.actor = new Clutter.Group();
+        this.scale = 1.0;
 
         let windows = global.get_windows().filter(this._isMyWindow, this);
 
@@ -99,6 +103,8 @@ Workspace.prototype = {
         this._overlappedMode = !((this._windows.length-1) in POSITIONS);
         this._removeButton = null;
         this._visible = false;
+
+        this._frame = null;
     },
 
     // Checks if the workspace is empty (ie, contains only a desktop window)
@@ -164,6 +170,43 @@ Workspace.prototype = {
         this.actor.disconnect(this._adjustRemoveButtonId);
     },
 
+    // Mark the workspace selected/not-selected
+    setSelected : function(selected) {
+        if (selected) {
+            if (this._frame)
+                return;
+
+            // FIXME: do something cooler-looking using clutter-cairo
+            this._frame = new Clutter.Rectangle({ color: FRAME_COLOR });
+            this.actor.add_actor(this._frame);
+            this._frame.set_position(this._desktop.x - FRAME_SIZE / this.actor.scale_x,
+                                     this._desktop.y - FRAME_SIZE / this.actor.scale_y);
+            this._frame.set_size(this._desktop.width + 2 * FRAME_SIZE / this.actor.scale_x,
+                                 this._desktop.height + 2 * FRAME_SIZE / this.actor.scale_y);
+            this._frame.lower_bottom();
+
+            this._framePosHandler = this.actor.connect('notify::x', Lang.bind(this, this._updateFramePosition));
+            this._frameSizeHandler = this.actor.connect('notify::scale-x', Lang.bind(this, this._updateFrameSize));
+        } else {
+            if (!this._frame)
+                return;
+            this.actor.disconnect(this._framePosHandler);
+            this.actor.disconnect(this._frameSizeHandler);
+            this._frame.destroy();
+            this._frame = null;
+        }
+    },
+
+    _updateFramePosition : function() {
+        this._frame.set_position(this._desktop.x - FRAME_SIZE / this.actor.scale_x,
+                                 this._desktop.y - FRAME_SIZE / this.actor.scale_y);
+    },
+
+    _updateFrameSize : function() {
+        this._frame.set_size(this._desktop.width + 2 * FRAME_SIZE / this.actor.scale_x,
+                             this._desktop.height + 2 * FRAME_SIZE / this.actor.scale_y);
+    },
+
     // Animate the full-screen to overlay transition.
     zoomToOverlay : function() {
         let global = Shell.Global.get();
@@ -474,7 +517,6 @@ function Workspaces() {
 
 Workspaces.prototype = {
     _init : function() {
-        let me = this;
         let global = Shell.Global.get();
 
         this.actor = new Clutter.Group();
@@ -495,8 +537,10 @@ Workspaces.prototype = {
         // Create and position workspace objects
         for (let w = 0; w < global.screen.n_workspaces; w++) {
             this._workspaces[w] = new Workspace(w);
-            if (w == activeWorkspaceIndex)
+            if (w == activeWorkspaceIndex) {
                 activeWorkspace = this._workspaces[w];
+                activeWorkspace.setSelected(true);
+            }
             this.actor.add_actor(this._workspaces[w].actor);
         }
         activeWorkspace.actor.raise_top();
@@ -550,9 +594,10 @@ Workspaces.prototype = {
         // Track changes to the number of workspaces
         this._nWorkspacesNotifyId =
             global.screen.connect('notify::n-workspaces',
-                                  function() {
-                                      me._workspacesChanged();
-                                  });
+                                  Lang.bind(this, this._workspacesChanged));
+        this._switchWorkspaceNotifyId =
+            global.window_manager.connect('switch-workspace',
+                                          Lang.bind(this, this._activeWorkspaceChanged));
     },
 
     hide : function() {
@@ -588,6 +633,7 @@ Workspaces.prototype = {
         this._backdrop = null;
 
         global.screen.disconnect(this._nWorkspacesNotifyId);
+        global.window_manager.disconnect(this._switchWorkspaceNotifyId);
     },
 
     // Assign grid positions to workspaces. We can't just do a simple
@@ -720,6 +766,11 @@ Workspaces.prototype = {
         }
     },
 
+    _activeWorkspaceChanged : function(wm, from, to, direction) {
+        this._workspaces[from].setSelected(false);
+        this._workspaces[to].setSelected(true);
+    },
+
     _addWorkspace : function(actor, event) {
         let global = Shell.Global.get();