From: Leif Åstrand <leif@vaadin.com>
Date: Tue, 3 Apr 2012 08:23:44 +0000 (+0300)
Subject: Tweak spacings to better utilize horizontal space
X-Git-Tag: 7.0.0.alpha2~165
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=674b4377bc37bdf5c82566783221a65c562704db;p=vaadin-framework.git

Tweak spacings to better utilize horizontal space
---

diff --git a/src/com/vaadin/terminal/gwt/client/SimpleTree.java b/src/com/vaadin/terminal/gwt/client/SimpleTree.java
index 017884c94f..350e0d707d 100644
--- a/src/com/vaadin/terminal/gwt/client/SimpleTree.java
+++ b/src/com/vaadin/terminal/gwt/client/SimpleTree.java
@@ -28,6 +28,7 @@ public class SimpleTree extends ComplexPanel {
         Style style = getElement().getStyle();
         style.setProperty("whiteSpace", "nowrap");
         style.setPadding(3, Unit.PX);
+        style.setPaddingLeft(12, Unit.PX);
 
         style = handle.getStyle();
         style.setDisplay(Display.NONE);
@@ -43,7 +44,7 @@ public class SimpleTree extends ComplexPanel {
         getElement().appendChild(handle);
         getElement().appendChild(text);
         style = children.getStyle();
-        style.setPaddingLeft(20, Unit.PX);
+        style.setPaddingLeft(9, Unit.PX);
         style.setDisplay(Display.NONE);
 
         getElement().appendChild(children);
@@ -109,7 +110,7 @@ public class SimpleTree extends ComplexPanel {
     protected void add(Widget child, Element container) {
         super.add(child, container);
         handle.getStyle().setDisplay(Display.INLINE_BLOCK);
-
+        getElement().getStyle().setPaddingLeft(3, Unit.PX);
     }
 
 }