[gnome-shell/workspace-thumbnails: 13/13] Improve workspace controls slide-in positioning

[Owen Taylor <otaylor src gnome org>]

commit d842ed58544fa1c9807f6589b7b69efcf9a3e042
Author: Owen W. Taylor <otaylor fishsoup net>
Date:   Sun Jan 30 22:54:05 2011 -0500

    Improve workspace controls slide-in positioning
    
    Intead of using a St.Group and tweening the position of the controls
    actor, use a St.GenericLayout and tween a Javascript property. This
    allows us to more reliably track the height of the overall workspace
    display and propagate it to the controls actor.

 js/ui/workspacesView.js |   76 ++++++++++++++++++++++++++++++++--------------
 1 files changed, 53 insertions(+), 23 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 69b587e..69bdbed 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -721,8 +721,10 @@ function WorkspacesDisplay() {
 
 WorkspacesDisplay.prototype = {
     _init: function() {
-        this.actor = new St.Group();
-        this.actor.set_size(0, 0);
+        this.actor = new Shell.GenericContainer();
+        this.actor.connect('get-preferred-width', Lang.bind(this, this._getPreferredWidth));
+        this.actor.connect('get-preferred-height', Lang.bind(this, this._getPreferredHeight));
+        this.actor.connect('allocate', Lang.bind(this, this._allocate));
 
         let controls = new St.BoxLayout({ vertical: true,
                                           style_class: 'workspace-controls' });
@@ -793,8 +795,7 @@ WorkspacesDisplay.prototype = {
 
         let totalAllocation = this.actor.allocation;
         let totalWidth = totalAllocation.x2 - totalAllocation.x1;
-        // XXXX: 50 is just a hack for message tray compensation
-        let totalHeight = totalAllocation.y2 - totalAllocation.y1 - 50;
+        let totalHeight = totalAllocation.y2 - totalAllocation.y1;
 
         let [controlsMin, controlsNatural] = this._controls.get_preferred_width(-1);
         let controlsReserved = controlsNatural * (1 - CONTROLS_POP_IN_FRACTION);
@@ -822,9 +823,6 @@ WorkspacesDisplay.prototype = {
         if (rtl)
             x += controlsReserved;
 
-        this._controls.x = this._getControlsX();
-        this._controls.height = totalHeight;
-
         let zoomScale = (totalWidth - controlsNatural) / totalWidth;
         let newView = new WorkspacesView(width, height, x, y, zoomScale, this._workspaces);
 
@@ -859,6 +857,7 @@ WorkspacesDisplay.prototype = {
         this._onRestacked();
         this._constrainThumbnailIndicator();
         this._zoomOut = false;
+        this._zoomFraction = 0;
         this._updateZoom();
     },
 
@@ -904,6 +903,51 @@ WorkspacesDisplay.prototype = {
         }
     },
 
+    // zoomFraction property allows us to tween the controls sliding in and out
+    set zoomFraction(fraction) {
+        this._zoomFraction = fraction;
+        this.actor.queue_relayout();
+    },
+
+    get zoomFraction() {
+        return this._zoomFraction;
+    },
+
+    _getPreferredWidth: function (actor, forHeight, alloc) {
+        // pass through the call in case the child needs it, but report 0x0
+        this._controls.get_preferred_width(forHeight);
+    },
+
+    _getPreferredHeight: function (actor, forWidth, alloc) {
+        // pass through the call in case the child needs it, but report 0x0
+        this._controls.get_preferred_height(forWidth);
+    },
+
+    _allocate: function (actor, box, flags) {
+        let childBox = new Clutter.ActorBox();
+
+        let totalWidth = box.x2 - box.x1;
+
+        // width of the controls
+        let [controlsMin, controlsNatural] = this._controls.get_preferred_width(box.y2 - box.y1);
+
+        // Amount of space on the screen we reserve for the visible control
+        let controlsReserved = controlsNatural * (1 - (1 - this._zoomFraction) * CONTROLS_POP_IN_FRACTION);
+
+        let rtl = (St.Widget.get_default_direction () == St.TextDirection.RTL);
+        if (rtl) {
+            childBox.x2 = controlsReserved;
+            childBox.x1 = childBox.x2 - controlsNatural;
+        } else {
+            childBox.x1 = totalWidth - controlsReserved;
+            childBox.x2 = childBox.x1 + controlsNatural;
+        }
+
+        childBox.y1 = 0;
+        childBox.y2 = box.y2- box.y1;
+        this._controls.allocate(childBox, flags);
+    },
+
     _constrainThumbnailIndicator: function() {
         let active = global.screen.get_active_workspace_index();
         let thumbnail = this._workspaceThumbnails[active];
@@ -1012,20 +1056,6 @@ WorkspacesDisplay.prototype = {
                                              lostWorkspaces);
     },
 
-    _getControlsX: function() {
-        let totalAllocation = this.actor.allocation;
-        let totalWidth = totalAllocation.x2 - totalAllocation.x1;
-        let [controlsMin, controlsNatural] = this._controls.get_preferred_width(-1);
-        let controlsReserved = controlsNatural * (1 - CONTROLS_POP_IN_FRACTION);
-
-        let rtl = (St.Widget.get_default_direction () == St.TextDirection.RTL);
-        let width = this._zoomOut ? controlsNatural : controlsReserved;
-        if (rtl)
-            return width;
-        else
-            return totalWidth - width;
-    },
-
     _updateZoom : function() {
         if (Main.overview.animationInProgress)
             return;
@@ -1037,8 +1067,8 @@ WorkspacesDisplay.prototype = {
             if (!this.workspacesView)
                 return;
 
-            Tweener.addTween(this._controls,
-                             { x: this._getControlsX(),
+            Tweener.addTween(this,
+                             { zoomFraction: this._zoomOut ? 1 : 0,
                                time: WORKSPACE_SWITCH_TIME,
                                transition: 'easeOutQuad' });