Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/output_dockable.scala
changeset 43661 39fdbd814c7f
parent 43520 cec9b95fa35d
child 44582 479c07072992 
--- a/src/Tools/jEdit/src/output_dockable.scala	Mon Jul 04 20:18:19 2011 +0200
+++ b/src/Tools/jEdit/src/output_dockable.scala	Mon Jul 04 22:11:32 2011 +0200
@@ -26,7 +26,7 @@
   Swing_Thread.require()
 
   private val html_panel =
-    new HTML_Panel(Isabelle.system, Isabelle.font_family(), scala.math.round(Isabelle.font_size()))
+    new HTML_Panel(Isabelle.font_family(), scala.math.round(Isabelle.font_size()))
   {
     override val handler: PartialFunction[HTML_Panel.Event, Unit] = {
       case HTML_Panel.Mouse_Click(elem, event) if elem.getClassName() == "sendback" =>
isabelle