FIxes #1992 with a 'magic' (static, really) number.

svn changeset:5287/svn branch:trunk

diff --git a/WebContent/ITMILL/themes/default/slider/slider.css b/WebContent/ITMILL/themes/default/slider/slider.css
index e8a0ffb0791bac6d8bf662330577a1371f8e5fe1..ab1d173a4173b441e06a57926abf74bdf90fcafc 100644 (file)
--- a/WebContent/ITMILL/themes/default/slider/slider.css
+++ b/WebContent/ITMILL/themes/default/slider/slider.css
@@ -10,6 +10,7 @@
 }
 
 .i-slider-base {
+       /* changing the borders will require adjustments to ISlider.java */
        height: 2px;
        border-top: 1px solid #cbcdce;
        background: #f3f3f4;

diff --git a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISlider.java b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISlider.java
index cb4dc0a6e19a2f95f4d97a5b6f86b0ff814943a5..a6d5b6e2a210cc80f553df1a0fda757a8181a865 100644 (file)
--- a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISlider.java
+++ b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISlider.java
@@ -47,6 +47,7 @@ public class ISlider extends Widget implements Paintable, Field,
 \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
@@ -236,11 +237,9 @@ public class ISlider extends Widget implements Paintable, Field,
         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