Searched defs:mark_index (Results 1 – 1 of 1) sorted by relevance
1077 unsigned int mark_index = (this+markCoverage).get_coverage (buffer->cur().codepoint); in apply() local1178 unsigned int mark_index = (this+markCoverage).get_coverage (buffer->cur().codepoint); in apply() local