Searched refs:bestEnd (Results 1 – 1 of 1) sorted by relevance
144 int bestStart, bestEnd; in action() local147 bestEnd = -1; in action()153 if (end > bestEnd) { in action()155 bestEnd = end; in action()161 Selection.setSelection(buffer, bestEnd, bestStart); in action()169 bestEnd = Integer.MAX_VALUE; in action()177 bestEnd = buffer.getSpanEnd(candidates[i]); in action()182 if (bestEnd < Integer.MAX_VALUE) { in action()183 Selection.setSelection(buffer, bestStart, bestEnd); in action()