src/Tools/jEdit/src/jedit/ScrollerDockable.scala

       if (Isabelle.plugin.font != null)
         fontResolver.setFontMapping("Isabelle", Isabelle.plugin.font)
       panel.relayout()
     })
     val document = XML.document(Isabelle_Process.parse_message(Isabelle.system, r))
-    panel.setDocument(document, UserAgent.baseURL)
+    panel.setDocument(document, UserAgent.base_URL)
     val sa = new SelectionActions
     sa.install(panel)
     panel
   }