\r
/* DOM element for slider's base */\r
private final Element base;\r
+ private final int BASE_BORDER_WIDTH = 1;\r
\r
/* DOM element for slider's handle */\r
private final Element handle;\r
final String domProperty = vertical ? "offsetHeight" : "offsetWidth";\r
final int handleSize = Integer.parseInt(DOM.getElementProperty(handle,\r
domProperty));\r
-\r
- DOM.setStyleAttribute(base, "borderWidth", "0px");\r
final int baseSize = Integer.parseInt(DOM.getElementProperty(base,\r
- domProperty));\r
- DOM.setStyleAttribute(base, "borderWidth", "");\r
+ domProperty))\r
+ - (2 * BASE_BORDER_WIDTH);\r
\r
final int range = baseSize - handleSize;\r
double v = value.doubleValue();\r