--- a/src/Tools/jEdit/src/session_dockable.scala Tue Sep 27 21:39:55 2011 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala Tue Sep 27 22:14:15 2011 +0200
@@ -27,7 +27,9 @@
/* main tabs */
private val readme = new HTML_Panel("SansSerif", 14)
- readme.render_document(Isabelle_System.try_read(List(Path.explode("$JEDIT_HOME/README.html"))))
+ private val readme_path = Path.explode("$JEDIT_HOME/README.html")
+ private val readme_url = "file://" + readme_path.expand.implode
+ readme.render_document(readme_url, Isabelle_System.try_read(List(readme_path)))
val status = new ListView(Nil: List[Document.Node.Name]) {
listenTo(mouse.clicks)