output: Give the overview pane in the GUI output a reasonable initial width.