[gnome-shell/wip/paging-release: 60/90] Substract some padding from top, since we have now some spacing on the surrounding main grid

[Carlos Soriano <csoriano src gnome org>]

commit bb3ef0551c775d8a4a611ed130590deb748a0c02
Author: Carlos Soriano <carlos soriano89 gmail com>
Date:   Fri Jul 19 10:08:38 2013 +0200

    Substract some padding from top, since we have now some spacing on the
    surrounding main grid

 data/theme/gnome-shell.css |    3 +--
 js/ui/appDisplay.js        |   13 +++++++++----
 2 files changed, 10 insertions(+), 6 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 06ea562..f695594 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -881,7 +881,6 @@ StScrollBar StButton#vhandle:active {
 }
 
 .app-display {
-    padding: 8px;
     spacing: 20px;
 }
 
@@ -902,7 +901,7 @@ StScrollBar StButton#vhandle:active {
 .all-apps,
 .frequent-apps > StBoxLayout{
     /* horizontal padding to make sure scrollbars or dash don't overlap content */
-    padding: 10px 88px;
+    padding: 0px 88px 10px 88px;
 }
 
 .pages-indicator {
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 78dcaca..5861ba5 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -925,9 +925,7 @@ const AppDisplay = new Lang.Class({
         this._viewStack = new St.Widget({ 
                                           x_expand: true, y_expand: true });
         this._viewStack.set_layout_manager(this._viewStackLayout);
-        //FIXME
         this.actor.add_actor(this._viewStack, { expand: true });
-
         let layout = new ControlsBoxLayout({ homogeneous: true });
         this._controls = new St.Widget({ style_class: 'app-view-controls',
                                          layout_manager: layout });
@@ -1035,9 +1033,16 @@ const AppDisplay = new Lang.Class({
     },
     
     _onUpdatedDisplaySize: function(actor, width, height) {
-        //FIXME
+        let box = new Clutter.ActorBox();
+        box.x1 = 0;
+        box.x2 = width;
+        box.y1 = 0;
+        box.y2 = height;
+        box = this.actor.get_theme_node().get_content_box(box);
+        let availWidth = box.x2 - box.x1;
+        let availHeight = box.y2 - box.y1;
         for (let i = 0; i < this._views.length; i++) {
-            this._views[i].view.onUpdatedDisplaySize(width, height);
+            this._views[i].view.onUpdatedDisplaySize(availWidth, availHeight);
         }
     }
 });