src/Tools/jEdit/src/jedit/Plugin.scala

--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jan 27 18:58:16 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jan 27 19:27:59 2009 +0100
@@ -106,9 +106,9 @@
           case Some(prover_setup) => 
             prover_setup.theory_view.activate
             val dockable = epu.getEditPane.getView.getDockableWindowManager.getDockable("isabelle-output")
-            if(dockable != null) {
+            if (dockable != null) {
               val output_dockable = dockable.asInstanceOf[OutputDockable]
-              if(output_dockable.getComponent(0) != prover_setup.output_text_view ) {
+              if (output_dockable.getComponent(0) != prover_setup.output_text_view ) {
                 output_dockable.asInstanceOf[OutputDockable].removeAll
                 output_dockable.asInstanceOf[OutputDockable].add(new JScrollPane(prover_setup.output_text_view))
                 output_dockable.revalidate
@@ -117,7 +117,7 @@
         }
       case EditPaneUpdate.BUFFER_CHANGING =>
         val buffer = epu.getEditPane.getBuffer
-        if(buffer != null) mapping get buffer match {
+        if (buffer != null) mapping get buffer match {
           //only deactivate 'isabelle'-buffers!
           case None =>
           case Some(prover_setup) => prover_setup.theory_view.deactivate