src/Tools/jEdit/src/jedit/ScrollerDockable.scala
changeset 34488 659b7213ffe7
parent 34477 e561d0915f28
child 34497 184fda8cce04
equal deleted inserted replaced
34487:b88ee385308d 34488:659b7213ffe7
   226     Isabelle.plugin.font_changed += (font => {
   226     Isabelle.plugin.font_changed += (font => {
   227       if (Isabelle.plugin.font != null)
   227       if (Isabelle.plugin.font != null)
   228         fontResolver.setFontMapping("Isabelle", Isabelle.plugin.font)
   228         fontResolver.setFontMapping("Isabelle", Isabelle.plugin.font)
   229       panel.relayout()
   229       panel.relayout()
   230     })
   230     })
   231     val tree = IsabelleProcess.parse_message(r.kind, Isabelle.symbols.decode(r.result))
   231     val document = XML.document(IsabelleProcess.parse_message(Isabelle.system, r))
   232     val document = XML.document(tree)
       
   233     panel.setDocument(document, UserAgent.baseURL)
   232     panel.setDocument(document, UserAgent.baseURL)
   234     val sa = new SelectionActions
   233     val sa = new SelectionActions
   235     sa.install(panel)
   234     sa.install(panel)
   236     panel
   235     panel
   237   }
   236   }