private int resolution;\r
private Double value;\r
private boolean vertical;\r
- private final int size = -1;\r
private boolean arrows;\r
\r
private final HTML feedback = new HTML("", false);\r
final String styleAttribute = vertical ? "height" : "width";\r
final String domProperty = vertical ? "offsetHeight" : "offsetWidth";\r
\r
- if (size == -1) {\r
- final Element p = DOM.getParent(getElement());\r
- if (DOM.getElementPropertyInt(p, domProperty) > 50) {\r
- if (vertical) {\r
- setHeight();\r
- } else {\r
- DOM.setStyleAttribute(base, styleAttribute, "");\r
- }\r
+ final Element p = DOM.getParent(getElement());\r
+ if (DOM.getElementPropertyInt(p, domProperty) > 50) {\r
+ if (vertical) {\r
+ setHeight();\r
} else {\r
- // Set minimum size and adjust after all components have\r
- // (supposedly) been drawn completely.\r
- DOM.setStyleAttribute(base, styleAttribute, MIN_SIZE + "px");\r
- DeferredCommand.addCommand(new Command() {\r
- public void execute() {\r
- final Element p = DOM.getParent(getElement());\r
- if (DOM.getElementPropertyInt(p, domProperty) > (MIN_SIZE + 5)) {\r
- if (vertical) {\r
- setHeight();\r
- } else {\r
- DOM.setStyleAttribute(base, styleAttribute, "");\r
- }\r
- // Ensure correct position\r
- setValue(value, false);\r
- }\r
- }\r
- });\r
+ DOM.setStyleAttribute(base, styleAttribute, "");\r
}\r
} else {\r
- DOM.setStyleAttribute(base, styleAttribute, size + "px");\r
+ // Set minimum size and adjust after all components have\r
+ // (supposedly) been drawn completely.\r
+ DOM.setStyleAttribute(base, styleAttribute, MIN_SIZE + "px");\r
+ DeferredCommand.addCommand(new Command() {\r
+ public void execute() {\r
+ final Element p = DOM.getParent(getElement());\r
+ if (DOM.getElementPropertyInt(p, domProperty) > (MIN_SIZE + 5)) {\r
+ if (vertical) {\r
+ setHeight();\r
+ } else {\r
+ DOM.setStyleAttribute(base, styleAttribute, "");\r
+ }\r
+ // Ensure correct position\r
+ setValue(value, false);\r
+ }\r
+ }\r
+ });\r
}\r
\r
// TODO attach listeners for focusing and arrow keys\r
}\r
\r
private void setHeight() {\r
- if (size == -1) {\r
- // Calculate decoration size\r
- DOM.setStyleAttribute(base, "height", "0");\r
- DOM.setStyleAttribute(base, "overflow", "hidden");\r
- int h = DOM.getElementPropertyInt(getElement(), "offsetHeight");\r
- if (h < MIN_SIZE) {\r
- h = MIN_SIZE;\r
- }\r
- DOM.setStyleAttribute(base, "height", h + "px");\r
- } else {\r
- DOM.setStyleAttribute(base, "height", size + "px");\r
+ // Calculate decoration size\r
+ DOM.setStyleAttribute(base, "height", "0");\r
+ DOM.setStyleAttribute(base, "overflow", "hidden");\r
+ int h = DOM.getElementPropertyInt(getElement(), "offsetHeight");\r
+ if (h < MIN_SIZE) {\r
+ h = MIN_SIZE;\r
}\r
+ DOM.setStyleAttribute(base, "height", h + "px");\r
DOM.setStyleAttribute(base, "overflow", "");\r
}\r
\r