Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/library.scala
changeset 50539 3b68e5760a2d
parent 50491 0faaa279faee
child 50845 477ca927676f 
--- a/src/Pure/library.scala	Fri Dec 14 21:26:01 2012 +0100
+++ b/src/Pure/library.scala	Fri Dec 14 21:50:21 2012 +0100
@@ -128,7 +128,7 @@
 
   /* simple dialogs */
 
-  def scrollable_text(txt: String, width: Int = 80, editable: Boolean = false): ScrollPane =
+  def scrollable_text(txt: String, width: Int = 60, editable: Boolean = false): ScrollPane =
   {
     val text = new TextArea(txt)
     if (width > 0) text.columns = width
isabelle