Searched refs:newSelection (Results 1 – 1 of 1) sorted by relevance
406 public void select(Selection newSelection) { in select() argument407 newSelection.pin(contents); in select()408 if (!selection.equals(newSelection)) { in select()409 selection.set(newSelection); in select()