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))