From abe5b46235859a90ed7c1113fa4e35edd8753048 Mon Sep 17 00:00:00 2001 From: Jouni Koivuviita Date: Mon, 20 Aug 2007 11:48:13 +0000 Subject: [PATCH] Small changes to slider handle width calculation and value rounding to min/max values on overflow. svn changeset:2066/svn branch:trunk --- .../itmill/toolkit/terminal/gwt/client/ui/ISlider.java | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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 94d176817b..458c65e6b7 100644 --- a/src/com/itmill/toolkit/terminal/gwt/client/ui/ISlider.java +++ b/src/com/itmill/toolkit/terminal/gwt/client/ui/ISlider.java @@ -179,7 +179,7 @@ public class ISlider extends Widget implements Paintable { int w = (int) (Double.parseDouble(DOM.getAttribute(base, "offsetWidth")) / 100 * handleSize); if(handleSize == -1) { int baseW = Integer.parseInt(DOM.getAttribute(base, "offsetWidth")); - double range = (max - min) * (resolution+1) * 1.5; + double range = (max - min) * (resolution+1) * 3; w = (int) (baseW - range); } if(w < 3) @@ -203,6 +203,8 @@ public class ISlider extends Widget implements Paintable { double p = 0; if(valueRange != 0) p = range * ((v - min) / valueRange); + if(p < 0) + p = 0; final double pos = p; @@ -237,6 +239,11 @@ public class ISlider extends Widget implements Paintable { //DOM.setAttribute(handle, "title", ""+v); } + if(value.doubleValue() < min) + value = new Double(min); + else if(value.doubleValue() > max) + value = new Double(max); + this.value = value; if(updateToServer) -- 2.39.5