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.