# HG changeset patch
# User wenzelm
# Date 1230488778 -3600
# Node ID dc8b486fde9ff9659d10aaf84bf5fd8ad78a00ba
# Parent  5c79f97ec1d1d34a3a4c52850dc5bbf8f3f5a58b
tuned;

diff -r 5c79f97ec1d1 -r dc8b486fde9f src/Tools/jEdit/src/jedit/TheoryView.scala
--- 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
+}