public static interface ResultHistoryList.ResultHistoryPopupMenuCustomizer
| Modifier and Type | Method and Description |
|---|---|
void |
customizePopupMenu(ResultHistoryList history,
int index,
JPopupMenu menu)
Allows to customize the popup menu for the result history.
|
void customizePopupMenu(ResultHistoryList history, int index, JPopupMenu menu)
history - the list this popup menu is forindex - the index of the select item from the historymenu - the menu to customizeCopyright © 2017. All Rights Reserved.