src/Tools/jEdit/src/token_markup.scala

 
 
 object Token_Markup
 {
   /* line context */
+
+  def mode_rule_set(mode: String): ParserRuleSet =
+    new ParserRuleSet(mode, "MAIN")
 
   object Line_Context
   {
     def init(mode: String): Line_Context =
       new Line_Context(mode, Some(Scan.Finished), Line_Structure.init)

 
   class Line_Context(
       val mode: String,
       val context: Option[Scan.Line_Context],
       val structure: Line_Structure)
-    extends TokenMarker.LineContext(new ParserRuleSet(mode, "MAIN"), null)
+    extends TokenMarker.LineContext(mode_rule_set(mode), null)
   {
     def get_context: Scan.Line_Context = context.getOrElse(Scan.Finished)
 
     override def hashCode: Int = (mode, context, structure).hashCode
     override def equals(that: Any): Boolean =

 
   class Marker(
     protected val mode: String,
     protected val opt_buffer: Option[Buffer]) extends TokenMarker
   {
+    addRuleSet(mode_rule_set(mode))
+
     override def hashCode: Int = (mode, opt_buffer).hashCode
     override def equals(that: Any): Boolean =
       that match {
         case other: Marker => mode == other.mode && opt_buffer == other.opt_buffer
         case _ => false