pub const RESIZE_BAND: f32 = 6.;
The band at the window’s own edge that resizes it while it floats (px).