Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use IsabelleProcess.parse_message (with global Isabelle.system instance);
authorwenzelm
Tue, 20 Jan 2009 18:20:50 +0100
changeset 34488 659b7213ffe7
parent 34487 b88ee385308d
child 34489 7b7ccf0ff629
use IsabelleProcess.parse_message (with global Isabelle.system instance);
src/Tools/jEdit/src/jedit/ScrollerDockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Jan 20 18:20:19 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Tue Jan 20 18:20:50 2009 +0100
@@ -228,8 +228,7 @@
         fontResolver.setFontMapping("Isabelle", Isabelle.plugin.font)
       panel.relayout()
     })
-    val tree = IsabelleProcess.parse_message(r.kind, Isabelle.symbols.decode(r.result))
-    val document = XML.document(tree)
+    val document = XML.document(IsabelleProcess.parse_message(Isabelle.system, r))
     panel.setDocument(document, UserAgent.baseURL)
     val sa = new SelectionActions
     sa.install(panel)
isabelle