allow slight overscrolling in optionsmenu

src/itdelatrisu/opsu/ui/KineticScrolling.java

@@ -61,6 +61,12 @@ public class KineticScrolling {
 	/** The speed multiplier (divides {@link #TIME_CONST}). */
 	private float speedMultiplier = 1f;
 
+	private boolean allowOverScroll;
+
+	public void setAllowOverScroll(boolean allowOverScroll) {
+		this.allowOverScroll = allowOverScroll;
+	}
+
 	/**
 	 * Returns the current position.
 	 * @return the position
@@ -94,15 +100,25 @@ public class KineticScrolling {
 			target = position;
 			deltaPosition = 0;
 		}
+		if (allowOverScroll && pressed) {
+			return;
+		}
 		if (position > max) {
+			if (allowOverScroll) {
+				scrollToPosition(max);
+			} else {
 				amplitude = 0;
 				target = position = max;
 			}
-		if (position < min) {
+		} else if (position < min) {
+			if (allowOverScroll) {
+				scrollToPosition(min);
+			} else {
 				amplitude = 0;
 				target = position = min;
 			}
 		}
+	}
 
 	/**
 	 * Scrolls to the position.

src/yugecin/opsudance/ui/OptionsOverlay.java

@@ -152,6 +152,7 @@ public class OptionsOverlay extends OverlayOpsuState {
 		listHoverIndex = -1;
 		searchField = new TextField(displayContainer, null, 0, 0, 0, 0);
 		scrollHandler = new KineticScrolling();
+		scrollHandler.setAllowOverScroll(true);
 	}
 
 	public void setListener(Listener listener) {
@@ -326,9 +327,6 @@ public class OptionsOverlay extends OverlayOpsuState {
 			maxScrollOffset = 0;
 		}
 		scrollHandler.setMinMax(0f, maxScrollOffset);
-		if (scrollHandler.getIntPosition() > maxScrollOffset) {
-			scrollHandler.setPosition(maxScrollOffset);
-		}
 	}
 
 	private void renderOpenList(Graphics g) {