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