Squeezes down the editor width.