Searched refs:tmpEnd (Results 1 – 1 of 1) sorted by relevance
557 int tmpEnd = marker.getAttribute(IMarker.CHAR_END, -1); in checkAndMark() local558 if (tmpEnd != startOffset) { in checkAndMark()