1.1 --- a/src/Pure/library.scala	Thu Jul 19 11:47:49 2012 +0200
     1.2 +++ b/src/Pure/library.scala	Thu Jul 19 11:54:19 2012 +0200
     1.3 @@ -130,7 +130,7 @@
     1.4  
     1.5    /* simple dialogs */
     1.6  
     1.7 -  def scrollable_text(txt: String, width: Int = 76, editable: Boolean = false): ScrollPane =
     1.8 +  def scrollable_text(txt: String, width: Int = 80, editable: Boolean = false): ScrollPane =
     1.9    {
    1.10      val text = new TextArea(txt)
    1.11      if (width > 0) text.columns = width