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()