pub const CLOSE_KEY_GRACE: Duration;
How long after an ended tab closes Enter and Esc still count as closing it.