[gnome-shell] appDisplay: Make sure we don't clip folder view

[Carlos Soriano <csoriano src gnome org>]

commit 6b554337ffec81c8d29fc7e2c605c8bd54f48b9f
Author: Carlos Soriano <carlos soriano89 gmail com>
Date:   Fri Sep 6 23:31:03 2013 +0200

    appDisplay: Make sure we don't clip folder view
    
    If we round up the value, we make sure we don't clip in any
    case neither the folder view or the close button.

 js/ui/appDisplay.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index dbcb8d9..948d99a 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -1072,9 +1072,9 @@ const FolderIcon = new Lang.Class({
         // StWidget delays style calculation until needed, make sure we use the correct values
         this.view._grid.actor.ensure_style();
 
-        let offsetForEachSide = (this._popup.getOffset(St.Side.TOP) +
-                                 this._popup.getOffset(St.Side.BOTTOM) -
-                                 this._popup.getCloseButtonOverlap()) / 2;
+        let offsetForEachSide = Math.ceil((this._popup.getOffset(St.Side.TOP) +
+                                           this._popup.getOffset(St.Side.BOTTOM) -
+                                           this._popup.getCloseButtonOverlap()) / 2);
         // Add extra padding to prevent boxpointer decorations and close button being cut off
         this.view.setPaddingOffsets(offsetForEachSide);
         this.view.adaptToSize(this._parentAvailableWidth, this._parentAvailableHeight);