const MIN_SELECTION_SCROLLING_HEIGHT: f64 = 5.;
Minimum number of pixels at the bottom/top where selection scrolling is performed.