1.1 --- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 18:40:38 2008 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 19:26:18 2008 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4   *
     1.5   * @author Fabian Immler, TU Munich
     1.6   * @author Johannes Hölzl, TU Munich
     1.7 + * @author Makarius
     1.8   */
     1.9  
    1.10  package isabelle.jedit
    1.11 @@ -13,11 +14,11 @@
    1.12  import isabelle.prover.{Prover, Command, CommandChangeInfo}
    1.13  import isabelle.prover.Command.Phase
    1.14  
    1.15 -import javax.swing.Timer
    1.16 -import javax.swing.event.{CaretListener, CaretEvent}
    1.17  import java.awt.Graphics2D
    1.18  import java.awt.event.{ActionEvent, ActionListener}
    1.19  import java.awt.Color
    1.20 +import javax.swing.Timer
    1.21 +import javax.swing.event.{CaretListener, CaretEvent}
    1.22  
    1.23  import org.gjt.sp.jedit.buffer.{BufferListener, JEditBuffer}
    1.24  import org.gjt.sp.jedit.textarea.{JEditTextArea, TextAreaExtension, TextAreaPainter}
    1.25 @@ -291,4 +292,4 @@
    1.26    override def foldHandlerChanged(buffer: JEditBuffer) { }
    1.27    override def foldLevelChanged(buffer: JEditBuffer, start_line: Int, end_line: Int) { }
    1.28    override def transactionComplete(buffer: JEditBuffer) { }
    1.29 -}
    1.30 \ No newline at end of file
    1.31 +}