[gnome-shell/wip/paging-release: 51/93] AppDisplay: doesn't superpose dash and pagination indicator to allview

[Carlos Soriano <csoriano src gnome org>]

commit 919e21bdc2f0bd2da625a0f5108bacb0e75b101d
Author: Carlos Soriano <carlos soriano89 gmail com>
Date:   Mon Jul 15 11:55:59 2013 +0200

    AppDisplay: doesn't superpose dash and pagination indicator to allview

 js/ui/appDisplay.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 64705ab..9a9c9a9 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -397,6 +397,7 @@ const PaginationScrollView = new Lang.Class({
     
     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;