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

--- a/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Tue Sep 15 13:33:02 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/DynamicTokenMarker.scala	Tue Sep 15 15:37:19 2009 +0200
@@ -97,11 +97,6 @@
 
   def choose_color(kind: String, styles: Array[SyntaxStyle]): Color =
     styles(choose_byte(kind)).getForegroundColor
-
-  private val outer: Set[String] =
-    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)
 }