pub const GUTTER_WIDTH: u16 = 7;
Width of the gutter: 4-digit line number + space + sigil + space = 7. Used by NoSelect to know how many leading columns to skip on copy.