pub fn proof_dragged(start: f64, dy: f64, room: f64) -> f64Expand description
The proof drawer’s height after dragging its grip by dy pixels (down is positive), where
start is its height when the drag began and room is the height the panel row and the
drawer share: never below its bar, and never so tall the panels lose their minimum.