Searched refs:bestStart (Results 1 – 1 of 1) sorted by relevance
144 int bestStart, bestEnd; in action() local146 bestStart = -1; in action()154 bestStart = buffer.getSpanStart(candidates[i]); in action()160 if (bestStart >= 0) { in action()161 Selection.setSelection(buffer, bestEnd, bestStart); in action()168 bestStart = Integer.MAX_VALUE; in action()175 if (start < bestStart) { in action()176 bestStart = start; in action()183 Selection.setSelection(buffer, bestStart, bestEnd); in action()