changeset 58697 | 5bc1d6c4a499 |
parent 58696 | 6b7445774ce3 |
child 58698 | 1be9855fb579 |
--- a/src/Tools/jEdit/src/bibtex_jedit.scala Thu Oct 16 21:24:42 2014 +0200 +++ b/src/Tools/jEdit/src/bibtex_jedit.scala Sat Oct 18 10:32:19 2014 +0200 @@ -155,7 +155,7 @@ private class Line_Context(context: Option[Bibtex.Line_Context]) extends Token_Markup.Generic_Line_Context[Bibtex.Line_Context]( - context_rules, context, Outer_Syntax.Line_Nesting.init) + context_rules, context, Outer_Syntax.Line_Structure.init) /* token marker */