[gnome-shell/overview-relayout: 20/20] workspace-indicators: Add hover indication

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

commit 6ae845d692574fc0d695e208972138e4b50fb854
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Nov 12 22:52:44 2010 +0100

    workspace-indicators: Add hover indication
    
    Scale up indicators on hover to hint at their clickability.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=634948

 js/ui/workspacesView.js |   22 +++++++++++++++++-----
 1 files changed, 17 insertions(+), 5 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index f331446..4a21a20 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -25,6 +25,8 @@ const WORKSPACE_SHADOW_SCALE = (1 - WORKSPACE_DRAGGING_SCALE) / 2;
 const CONTROLS_POP_IN_FRACTION = 0.8;
 const CONTROLS_POP_IN_TIME = 0.1;
 
+const INDICATOR_HOVER_SCALE = 1.1;
+
 
 function WorkspacesView(width, height, x, y, workspaces) {
     this._init(width, height, x, y, workspaces);
@@ -814,12 +816,13 @@ WorkspaceIndicatorPanel.prototype = {
         let availWidth = box.x2 - box.x1;
         let availHeight = box.y2 - box.y1;
         let [minWidth, natWidth] = this._box.get_preferred_width(-1);
+        let [minHeight, natHeight] = this._box.get_preferred_height(-1);
 
         let childBox = new Clutter.ActorBox();
         childBox.x1 = Math.floor((availWidth - natWidth) / 2);
         childBox.x2 = childBox.x1 + natWidth;
-        childBox.y1 = 0;
-        childBox.y2 = availHeight;
+        childBox.y1 = Math.floor((availHeight - natHeight) / 2);
+        childBox.y2 = childBox.y2 + natHeight;
 
         this._box.allocate(childBox, flags);
     },
@@ -832,8 +835,8 @@ WorkspaceIndicatorPanel.prototype = {
 
     _getPreferredHeight: function(actor, forWidth, alloc) {
         let [minHeight, natHeight] = this._box.get_preferred_height(-1);
-        alloc.min_size = minHeight;
-        alloc.natural_size = natHeight;
+        alloc.min_size = minHeight * INDICATOR_HOVER_SCALE;
+        alloc.natural_size = natHeight * INDICATOR_HOVER_SCALE;
     },
 
     updateWorkspaces: function(workspaces) {
@@ -841,13 +844,22 @@ WorkspaceIndicatorPanel.prototype = {
 
         this._box.remove_all();
         for (let i = 0; i < this._workspaces.length; i++) {
-            let actor = new St.Button({ style_class: 'workspace-indicator' });
+            let actor = new St.Button({ style_class: 'workspace-indicator',
+                                        track_hover: true });
             let workspace = this._workspaces[i];
             let metaWorkspace = this._workspaces[i].metaWorkspace;
 
             actor.connect('clicked', Lang.bind(this, function() {
                 metaWorkspace.activate(global.get_current_time());
             }));
+            actor.connect('notify::hover', Lang.bind(this, function() {
+                if (actor.hover)
+                    actor.set_scale_with_gravity(INDICATOR_HOVER_SCALE,
+                                                 INDICATOR_HOVER_SCALE,
+                                                 Clutter.Gravity.CENTER);
+                else
+                    actor.set_scale(1.0, 1.0);
+            }));
 
             actor._delegate = {
                 acceptDrop: Lang.bind(this,