Searched refs:bestEnd (Results 1 – 1 of 1) sorted by relevance
155 int bestStart, bestEnd; in action() local158 bestEnd = -1; in action()164 if (end > bestEnd) { in action()166 bestEnd = end; in action()172 Selection.setSelection(buffer, bestEnd, bestStart); in action()180 bestEnd = Integer.MAX_VALUE; in action()188 bestEnd = buffer.getSpanEnd(candidates[i]); in action()193 if (bestEnd < Integer.MAX_VALUE) { in action()194 Selection.setSelection(buffer, bestStart, bestEnd); in action()