main.addComponent(left);\r
// int slider\r
Slider slider = new Slider(0, 100);\r
- slider.setSize(300);\r
+ slider.setWidth("300px");\r
+ // slider.setSize(300);\r
slider.setImmediate(true);\r
slider.addListener(new Slider.ValueChangeListener() {\r
public void valueChange(ValueChangeEvent event) {\r
* Slider size in pixels. In horizontal mode, if set to -1, allow 100% width\r
* of container. In vertical mode, if set to -1, default height is\r
* determined by the client-side implementation.\r
+ * \r
+ * @deprecated\r
*/\r
private int size = -1;\r
\r
* Get the current Slider size.\r
* \r
* @return size in pixels or -1 for auto sizing.\r
+ * @deprecated use standard getWidth/getHeight instead\r
*/\r
public int getSize() {\r
return size;\r
* \r
* @param size\r
* in pixels, or -1 auto sizing.\r
+ * @deprecated use standard setWidth/setHeight instead\r
*/\r
public void setSize(int size) {\r
this.size = size;\r
+ switch (orientation) {\r
+ case ORIENTATION_HORIZONTAL:\r
+ setWidth(size);\r
+ setWidthUnits(UNITS_PIXELS);\r
+ break;\r
+ default:\r
+ setHeight(size);\r
+ setHeightUnits(UNITS_PIXELS);\r
+ break;\r
+ }\r
requestRepaint();\r
}\r
\r
* @param variables\r
*/\r
public void changeVariables(Object source, Map variables) {\r
- super.changeVariables(source, variables);\r
- if (variables.containsKey("value")) {\r
+ super.changeVariables(source, variables);\r
+ if (variables.containsKey("value")) {\r
final Object value = variables.get("value");\r
final Double newValue = new Double(value.toString());\r
if (newValue != null && newValue != getValue()\r