# HG changeset patch
# User wenzelm
# Date 1252243885 -7200
# Node ID 983becb5ae9a345e00a2e235e3c633e6d081ceb8
# Parent  5a4cd1d4779432fc060f477c38d998ad3c898b69
tuned;

diff -r 5a4cd1d47794 -r 983becb5ae9a src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala
--- a/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Sun Sep 06 15:05:35 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Sun Sep 06 15:31:25 2009 +0200
@@ -45,7 +45,7 @@
 	def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink = {
     val prover = Isabelle.prover_setup(buffer).map(_.prover)
     val theory_view_opt = Isabelle.prover_setup(buffer).map(_.theory_view)
-    if (!prover.isDefined || !theory_view_opt.isDefined) null
+    if (prover.isEmpty || theory_view_opt.isEmpty) null
     else if (prover.get == null || theory_view_opt.get == null) null
     else {
       val theory_view = theory_view_opt.get
diff -r 5a4cd1d47794 -r 983becb5ae9a src/Tools/jEdit/src/jedit/ScrollerDockable.scala
--- 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] =