public static interface ResultHistoryPanel.RDeleteListener
| Modifier and Type | Method and Description |
|---|---|
void |
entriesDeleted(List<String> names,
List<Integer> indexes) |
void |
entryDeleted(String name,
int index)
Called when an entry in the list is deleted
|
void entryDeleted(String name, int index)
name - the name of the entry deletedindex - the index of the entry deletedCopyright © 2019 University of Waikato, Hamilton, NZ. All rights reserved.