public class SelectionManager
extends java.lang.Object
| Constructor and Description |
|---|
SelectionManager(SearchResults results) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isSelected(FindResult result) |
boolean |
removeCurrentSelection() |
void |
updateSelection(boolean removePreviousSelection,
boolean removeAllPreviousSelections,
boolean adjustScrollPosition) |
public SelectionManager(SearchResults results)
public void updateSelection(boolean removePreviousSelection,
boolean removeAllPreviousSelections,
boolean adjustScrollPosition)
public boolean removeCurrentSelection()
public boolean isSelected(FindResult result)