From 674b4377bc37bdf5c82566783221a65c562704db Mon Sep 17 00:00:00 2001 From: =?utf8?q?Leif=20=C3=85strand?= Date: Tue, 3 Apr 2012 11:23:44 +0300 Subject: [PATCH] Tweak spacings to better utilize horizontal space --- src/com/vaadin/terminal/gwt/client/SimpleTree.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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); } } -- 2.39.5