Searched refs:bestStart (Results 1 – 1 of 1) sorted by relevance
155 int bestStart, bestEnd; in action() local157 bestStart = -1; in action()165 bestStart = buffer.getSpanStart(candidates[i]); in action()171 if (bestStart >= 0) { in action()172 Selection.setSelection(buffer, bestEnd, bestStart); in action()179 bestStart = Integer.MAX_VALUE; in action()186 if (start < bestStart) { in action()187 bestStart = start; in action()194 Selection.setSelection(buffer, bestStart, bestEnd); in action()