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

[Carlos Soriano <csoriano src gnome org>]

commit 673521b6094dc8d49726317b3bcd16596e449986
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 dc669e0..7605c55 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;