on_mouse_release(
self,
_event: events.MouseRelease,
) -> NoneAbandon a drag when the app revokes this widget's mouse capture.
Without this the handle keeps a phantom drag alive: on_leave refuses
to clear the highlight, and later pointer movement resizes from a stale
baseline with no press behind it.