src/Pure/GUI/gui.scala

--- a/src/Pure/GUI/gui.scala	Tue May 06 23:08:18 2014 +0200
+++ b/src/Pure/GUI/gui.scala	Tue May 06 23:35:24 2014 +0200
@@ -140,7 +140,7 @@
 
     makeEditable()(c => new ComboBox.BuiltInEditor(c)(text => print(parse(text)), x => x))
     peer.getEditor.getEditorComponent match {
-      case text: JTextField => text.setColumns(3)
+      case text: JTextField => text.setColumns(4)
       case _ =>
     }