# HG changeset patch # User wenzelm # Date 1232472050 -3600 # Node ID 659b7213ffe7090b1ef2034a8638553fe02f0a98 # Parent b88ee385308d4a081f19ea5f7fe7bd2b7db05877 use IsabelleProcess.parse_message (with global Isabelle.system instance); diff -r b88ee385308d -r 659b7213ffe7 src/Tools/jEdit/src/jedit/ScrollerDockable.scala --- 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)