# HG changeset patch
# User wenzelm
# Date 1275231280 -7200
# Node ID 23e4109a256abc5c9a895cad5d1b6ee5a41b7f43
# Parent  e87d305a44905499d9064a9c13ce618a56f0eec5
tuned;

diff -r e87d305a4490 -r 23e4109a256a src/Tools/jEdit/src/jedit/isabelle_token_marker.scala
--- 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
 }