--- a/src/Tools/jEdit/src/bibtex_jedit.scala Sat Oct 18 10:50:40 2014 +0200
+++ b/src/Tools/jEdit/src/bibtex_jedit.scala Sat Oct 18 11:19:34 2014 +0200
@@ -153,8 +153,16 @@
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)
+ private class Line_Context(val context: Option[Bibtex.Line_Context])
+ extends TokenMarker.LineContext(context_rules, null)
+ {
+ override def hashCode: Int = context.hashCode
+ override def equals(that: Any): Boolean =
+ that match {
+ case other: Line_Context => context == other.context
+ case _ => false
+ }
+ }
/* token marker */