[gnome-shell/wip/paging-release: 28/85] FolderView gets boxpointer padding from CSS

[Carlos Soriano <csoriano src gnome org>]

commit 5196e8d61368f1954b279093dbb9eb0ddd7c7afa
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 615e1d5..f516934 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -1089,13 +1089,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