Drive-by: it's disallowing shrinking editor width below `MIN_WIDTH_EDITOR_AREA`, not 0, right?