| changeset 58694 | 983e98da2a42 |
| parent 58595 | 127f192b755c |
| child 58696 | 6b7445774ce3 |
--- a/src/Tools/jEdit/src/bibtex_jedit.scala Thu Oct 16 10:59:43 2014 +0200 +++ b/src/Tools/jEdit/src/bibtex_jedit.scala Thu Oct 16 12:09:57 2014 +0200 @@ -154,7 +154,7 @@ private val context_rules = new ParserRuleSet("bibtex", "MAIN") private class Line_Context(context: Option[Bibtex.Line_Context]) - extends Token_Markup.Generic_Line_Context[Bibtex.Line_Context](context_rules, context) + extends Token_Markup.Generic_Line_Context[Bibtex.Line_Context](context_rules, context, 0) /* token marker */