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/jedit/output_dockable.scala
changeset 39518 96180281c3b2
parent 39513 fce2202892c4
child 39592 5638fe4f0843 
--- a/src/Tools/jEdit/src/jedit/output_dockable.scala	Sat Sep 18 16:05:12 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/output_dockable.scala	Sat Sep 18 17:11:39 2010 +0200
@@ -26,7 +26,7 @@
 
   val html_panel =
     new HTML_Panel(Isabelle.system, Isabelle.font_family(), scala.math.round(Isabelle.font_size()))
-  add(html_panel, BorderLayout.CENTER)
+  set_content(html_panel)
 
 
   /* component state -- owned by Swing thread */
isabelle