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
-