# HG changeset patch
# User wenzelm
# Date 1275997885 -7200
# Node ID 5c6695de35baffb779353d3eb9b0ee17ff8489bf
# Parent  82b8343cd99854fe7935223e1e2c9c26e16ff321
disable set_styles for now -- there are still some race conditions of PropertiesChanged vs. TextArea painting (NB: without it Isabelle_Token_Marker will crash if sub/superscript is actually used);

diff -r 82b8343cd998 -r 5c6695de35ba src/Tools/jEdit/src/jedit/isabelle_token_marker.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Mon Jun 07 21:48:24 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Tue Jun 08 13:51:25 2010 +0200
@@ -155,9 +155,11 @@
     def to: Int => Int = model.to_current(document, _)
     def from: Int => Int = model.from_current(document, _)
 
+    /* FIXME
     for (text_area <- Isabelle.jedit_text_areas(model.buffer)
           if Document_View(text_area).isDefined)
       Document_View(text_area).get.set_styles()
+    */
 
     def handle_token(style: Byte, offset: Int, length: Int) =
       handler.handleToken(line_segment, style, offset, length, context)