public static interface ResultHistoryPanel.RDeleteListener
| Modifier and Type | Method and Description |
|---|---|
void |
entriesDeleted(java.util.List<java.lang.String> names,
java.util.List<java.lang.Integer> indexes) |
void |
entryDeleted(java.lang.String name,
int index)
Called when an entry in the list is deleted
|
void entryDeleted(java.lang.String name,
int index)
name - the name of the entry deletedindex - the index of the entry deletedvoid entriesDeleted(java.util.List<java.lang.String> names,
java.util.List<java.lang.Integer> indexes)
names - indexes -