Modified JNumberLine so that the mark must be dragged to move it, rather than having it move when the ruler is clicked (with the previous way, there was no mechanism for giving the number line focus using the mouse without changing its value).
Modified JNumberLine so that the mark must be dragged to move it, rather than having it move when the ruler is clicked (with the previous way, there was no mechanism for giving the number line focus using the mouse without changing its value).

bwkimmel/java-util