src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala

  * @author Fabian Immler, TU Munich
  */
 
 package isabelle.jedit
 
-import isabelle.prover.{Command, MarkupNode, Prover}
+
+import isabelle.prover.Prover
 import isabelle.Markup
 
 import org.gjt.sp.jedit.buffer.JEditBuffer
 import org.gjt.sp.jedit.syntax.{Token => JToken,
   TokenMarker, TokenHandler, SyntaxStyle, ParserRuleSet}

     Set(Markup.IDENT, Markup.COMMAND, Markup.KEYWORD, Markup.VERBATIM, Markup.COMMENT,
       Markup.CONTROL, Markup.MALFORMED, Markup.STRING, Markup.ALTSTRING)
   def is_outer(kind: String) = outer.contains(kind)
 }
 
-class DynamicTokenMarker(buffer: JEditBuffer, prover: Prover) extends TokenMarker
+
+class DynamicTokenMarker(buffer: JEditBuffer, prover: Prover)
+  extends TokenMarker
 {
   override def markTokens(prev: TokenMarker.LineContext,
       handler: TokenHandler, line_segment: Segment): TokenMarker.LineContext =
   {
     val previous = prev.asInstanceOf[IndexLineContext]

 
     handler.handleToken(line_segment, JToken.END, line_segment.count, 0, context)
     handler.setLineContext(context)
     return context
   }
+}
 
-}
 
 class IndexLineContext(val line: Int, prev: IndexLineContext)
   extends TokenMarker.LineContext(new ParserRuleSet("isabelle", "MAIN"), prev)