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