Searched refs:oldSelection (Results 1 – 1 of 1) sorted by relevance
283 Selection oldSelection = getSelection(new Selection()); in clearSelectionQuietly() local286 for (String id: oldSelection.getAll()) { in clearSelectionQuietly()