[gnome-shell/wip/paging] FolderView gets boxpointer padding from CSS

[Carlos Soriano <csoriano src gnome org>]

commit 414d5494fa3fd847db50871636f3f411b135805a
Author: Carlos Soriano <carlos soriano89 gmail com>
Date:   Sat Jul 6 10:14:27 2013 +0200

    FolderView gets boxpointer padding from CSS

 js/ui/appDisplay.js |    9 ++-------
 1 files changed, 2 insertions(+), 7 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 3bff286..6ce859f 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -1101,13 +1101,8 @@ const FolderIcon = new Lang.Class({
          * for the widget (the pop up) height now. After allocation it is not taked into account.
          */
         let arrowHeight = this._popup._boxPointer.actor.get_theme_node().get_length('-arrow-rise');
-        let boxPointerBorder = 
this._popup._boxPointer.actor.get_theme_node().get_length('-arrow-border-width');
-        global.log("boxPointerBorder " + boxPointerBorder);
-        global.log("Arrow rise " + arrowHeight);
-        global.log("this._popup.actor.height " + this._popup.actor.height);
-        global.log("this._popup.actor.height " + this.view.actor.height);
-        global.log("boxHeight ");
-        global.log("maxUsedHeightt " + maxUsedHeight);
+        let popupPadding = this._popup._boxPointer.bin.get_theme_node().get_length('padding');
+
         let popupPadding = this._popup.actor.height - this.view.actor.height - arrowHeight;
         global.log("Padding " + popupPadding);
         // Try to be aligned horizontally with the main grid