diff -u DoubleSlider.java .t/DoubleSlider.java 
--- DoubleSlider.java	Tue Mar  7 10:05:41 2000
+++ .t/DoubleSlider.java	Mon Jan 29 10:14:27 2001
@@ -17,7 +17,7 @@
 /** Basic double-ended slider for Swing.
 	@author Jonathan Paisley, paisleyj@dcs.gla.ac.uk
-	@version 0.2
+	@version 0.3
  */
 
 public class DoubleSlider extends JPanel 
@@ -456,8 +456,13 @@
 				
 				int start,size;
 				
-				start = valueToPixel(hilitedMinValue - currentMinValue); 
-				size = valueToPixel(hilitedMaxValue - hilitedMinValue) + 1;
+				start = valueToPixel(hilitedMinValue) - valueToPixel(currentMinValue); 
+				size = valueToPixel(hilitedMaxValue) - valueToPixel(hilitedMinValue) + 1;
+				
+				if (start<1) {
+					size -= (1-start);
+					start = 1;
+				}
 				
 				switch (orientation)
 				{
@@ -711,7 +716,7 @@
 	{
 		if (maxValue==minValue)
 			return 0;
-		return (int) (value * getTrackSize() / 
+		return (int) (0.5 + value * getTrackSize() / 
 						(maxValue-minValue));
 	}
  
@@ -788,7 +793,7 @@
 			currentMaxValue -= currentMinValue - minValue;
 			currentMinValue = minValue;
 			offset = valueToPixel(newMinValue - currentMinValue);
-	} else
+		} else
 		{
 			currentMaxValue = newMaxValue;
 			currentMinValue = newMinValue;