Searched refs:bestEnd (Results 1 – 1 of 1) sorted by relevance
159 int bestStart, bestEnd; in action() local162 bestEnd = -1; in action()168 if (end > bestEnd) { in action()170 bestEnd = end; in action()176 Selection.setSelection(buffer, bestEnd, bestStart); in action()184 bestEnd = Integer.MAX_VALUE; in action()192 bestEnd = buffer.getSpanEnd(candidates[i]); in action()197 if (bestEnd < Integer.MAX_VALUE) { in action()198 Selection.setSelection(buffer, bestStart, bestEnd); in action()