public void AddToken(XmlHighlightContext ctx, int offset, int length) { contexts[ctx].Add(offset, length); }