diff options
| author | Marc Englund <marc@vaadin.com> | 2013-06-13 16:10:51 +0300 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2013-06-13 15:48:28 +0000 |
| commit | 29c9b60802d6c6891088cc911ef044a49344eb6c (patch) | |
| tree | 23d074e27009f8a72dd28d9578e7d27f8e4918a1 /client | |
| parent | f2b2ce967d4835afeadc38af346609e16261f4fb (diff) | |
| download | vaadin-framework-29c9b60802d6c6891088cc911ef044a49344eb6c.tar.gz vaadin-framework-29c9b60802d6c6891088cc911ef044a49344eb6c.zip | |
SimpleTree styling changed for #12058
Change-Id: Ie521b4ba9362a8f46619bd675018bfbe9f2574ac
Diffstat (limited to 'client')
| -rw-r--r-- | client/src/com/vaadin/client/SimpleTree.java | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/client/src/com/vaadin/client/SimpleTree.java b/client/src/com/vaadin/client/SimpleTree.java index 23bdc4828f..0745a49aa0 100644 --- a/client/src/com/vaadin/client/SimpleTree.java +++ b/client/src/com/vaadin/client/SimpleTree.java @@ -19,7 +19,6 @@ package com.vaadin.client; import com.google.gwt.dom.client.Document; import com.google.gwt.dom.client.SpanElement; import com.google.gwt.dom.client.Style; -import com.google.gwt.dom.client.Style.BorderStyle; import com.google.gwt.dom.client.Style.Cursor; import com.google.gwt.dom.client.Style.Display; import com.google.gwt.dom.client.Style.Unit; @@ -58,14 +57,14 @@ public class SimpleTree extends ComplexPanel implements HasDoubleClickHandlers { style = handle.getStyle(); style.setDisplay(Display.NONE); - style.setProperty("textAlign", "center"); - style.setWidth(10, Unit.PX); + style.setWidth(0.5, Unit.EM); + style.setHeight(0.5, Unit.EM); style.setCursor(Cursor.POINTER); - style.setBorderStyle(BorderStyle.SOLID); - style.setBorderColor("#666"); - style.setBorderWidth(1, Unit.PX); + style.setBackgroundColor("gray"); + style.setColor("white"); + style.setPadding(4, Unit.PX); style.setMarginRight(3, Unit.PX); - style.setProperty("borderRadius", "4px"); + style.setLineHeight(0.5, Unit.EM); handle.setInnerHTML("+"); getElement().appendChild(handle); getElement().appendChild(text); |