1.1 --- a/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Mon Jun 07 21:48:24 2010 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Tue Jun 08 13:51:25 2010 +0200
     1.3 @@ -155,9 +155,11 @@
     1.4      def to: Int => Int = model.to_current(document, _)
     1.5      def from: Int => Int = model.from_current(document, _)
     1.6  
     1.7 +    /* FIXME
     1.8      for (text_area <- Isabelle.jedit_text_areas(model.buffer)
     1.9            if Document_View(text_area).isDefined)
    1.10        Document_View(text_area).get.set_styles()
    1.11 +    */
    1.12  
    1.13      def handle_token(style: Byte, offset: Int, length: Int) =
    1.14        handler.handleToken(line_segment, style, offset, length, context)