[gnome-shell/wip/paging-release: 11/39] PaginationScrollView: fixed some swuashing error

[Carlos Soriano <csoriano src gnome org>]

commit 085b7294c545796fd1fb0d482445652dc3be952c
Author: Carlos Soriano <carlos soriano89 gmail com>
Date:   Tue Aug 13 22:35:12 2013 +0200

    PaginationScrollView: fixed some swuashing error

 js/ui/appDisplay.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 14346ea..22b32a1 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -285,8 +285,9 @@ const PaginationScrollView = new Lang.Class({
         return [0, 0];
     },
 
-    vfunc_allocate: function(box, flags) {
+    vfunc_allocate: function(box, flags) {        
         box = this.get_parent().allocation;
+        box = this.get_theme_node().get_content_box(box);
         this.set_allocation(box, flags);        
         let availWidth = box.x2 - box.x1;
         let availHeight = box.y2 - box.y1;