tuned;

--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 18:40:38 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 19:26:18 2008 +0100
@@ -3,6 +3,7 @@
  *
  * @author Fabian Immler, TU Munich
  * @author Johannes Hölzl, TU Munich
+ * @author Makarius
  */
 
 package isabelle.jedit
@@ -13,11 +14,11 @@
 import isabelle.prover.{Prover, Command, CommandChangeInfo}
 import isabelle.prover.Command.Phase
 
-import javax.swing.Timer
-import javax.swing.event.{CaretListener, CaretEvent}
 import java.awt.Graphics2D
 import java.awt.event.{ActionEvent, ActionListener}
 import java.awt.Color
+import javax.swing.Timer
+import javax.swing.event.{CaretListener, CaretEvent}
 
 import org.gjt.sp.jedit.buffer.{BufferListener, JEditBuffer}
 import org.gjt.sp.jedit.textarea.{JEditTextArea, TextAreaExtension, TextAreaPainter}
@@ -291,4 +292,4 @@
   override def foldHandlerChanged(buffer: JEditBuffer) { }
   override def foldLevelChanged(buffer: JEditBuffer, start_line: Int, end_line: Int) { }
   override def transactionComplete(buffer: JEditBuffer) { }
-}
\ No newline at end of file
+}