Constant TOUCH_EDGE_PX 

pub const TOUCH_EDGE_PX: f64 = _; // 12f64

The band at a display’s top edge a finger swipes down from: wider than the pointer’s REVEAL_BAND_PX, since a finger coming off the bezel lands a few pixels in.