src/Tools/jEdit/src/session_dockable.scala
changeset 44297 b3bd26fd22d3
parent 43721 fad8634cee62
child 44335 156be0e43336
--- a/src/Tools/jEdit/src/session_dockable.scala	Fri Aug 19 13:32:27 2011 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala	Fri Aug 19 13:55:32 2011 +0200
@@ -28,7 +28,6 @@
   readme.render_document(Isabelle_System.try_read(List(Path.explode("$JEDIT_HOME/README.html"))))
 
   private val syslog = new TextArea(Isabelle.session.syslog())
-  syslog.editable = false
 
   private val tabs = new TabbedPane {
     pages += new TabbedPane.Page("README", Component.wrap(readme))