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/ScrollerDockable.scala
changeset 34714 983becb5ae9a
parent 34710 4f023df5a655 
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Sep 06 15:05:35 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Sep 06 15:31:25 2009 +0200
@@ -200,7 +200,7 @@
 }
 
 //containing the rendered messages
-class PanelCache (buffer: Unrendered[Result], val renderer: Renderer[Result, XHTMLPanel])
+class PanelCache(buffer: Unrendered[Result], val renderer: Renderer[Result, XHTMLPanel])
   extends mutable.HashMap[Int, XHTMLPanel] with Rendered[Result, XHTMLPanel]
 {
   override def getRendered (id: Int): Option[XHTMLPanel] =
isabelle