tuned;

--- a/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Sun May 30 16:00:13 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Sun May 30 16:54:40 2010 +0200
@@ -8,13 +8,11 @@
 package isabelle.jedit
 
 
-import isabelle.Markup
+import isabelle._
 
 import org.gjt.sp.jedit.buffer.JEditBuffer
-import org.gjt.sp.jedit.syntax.{Token, TokenMarker, TokenHandler, SyntaxStyle, ParserRuleSet}
+import org.gjt.sp.jedit.syntax.{Token, TokenMarker, TokenHandler, ParserRuleSet}
 
-import java.awt.Color
-import java.awt.Font
 import javax.swing.text.Segment;
 
 
@@ -94,9 +92,6 @@
       Markup.ALTSTRING -> LITERAL1
     ).withDefaultValue(NULL)
   }
-
-  def choose_color(kind: String, styles: Array[SyntaxStyle]): Color =
-    styles(choose_byte(kind)).getForegroundColor
 }