From 7e465de500430c17dd44deaa667c9218e5af77f2 Mon Sep 17 00:00:00 2001 From: Marc Englund Date: Thu, 28 Aug 2008 11:55:13 +0000 Subject: [PATCH] FIxes #1992 with a 'magic' (static, really) number. svn changeset:5287/svn branch:trunk --- WebContent/ITMILL/themes/default/slider/slider.css | 1 + src/com/itmill/toolkit/terminal/gwt/client/ui/ISlider.java | 7 +++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/WebContent/ITMILL/themes/default/slider/slider.css b/WebContent/ITMILL/themes/default/slider/slider.css index e8a0ffb079..ab1d173a41 100644 --- 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 cb4dc0a6e1..a6d5b6e2a2 100644 --- 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, /* DOM element for slider's base */ private final Element base; + private final int BASE_BORDER_WIDTH = 1; /* DOM element for slider's handle */ private final Element handle; @@ -236,11 +237,9 @@ public class ISlider extends Widget implements Paintable, Field, final String domProperty = vertical ? "offsetHeight" : "offsetWidth"; final int handleSize = Integer.parseInt(DOM.getElementProperty(handle, domProperty)); - - DOM.setStyleAttribute(base, "borderWidth", "0px"); final int baseSize = Integer.parseInt(DOM.getElementProperty(base, - domProperty)); - DOM.setStyleAttribute(base, "borderWidth", ""); + domProperty)) + - (2 * BASE_BORDER_WIDTH); final int range = baseSize - handleSize; double v = value.doubleValue(); -- 2.39.5