|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TaskMonitorManager | |
|---|---|
| com.vividsolutions.jump.workbench.plugin | The API for "plug-ins", which are code modules that can be assigned to buttons and menu items. |
| com.vividsolutions.jump.workbench.ui | |
| Uses of TaskMonitorManager in com.vividsolutions.jump.workbench.plugin |
|---|
| Methods in com.vividsolutions.jump.workbench.plugin with parameters of type TaskMonitorManager | |
|---|---|
static java.awt.event.ActionListener |
AbstractPlugIn.toActionListener(PlugIn plugIn,
WorkbenchContext workbenchContext,
TaskMonitorManager taskMonitorManager)
|
| Uses of TaskMonitorManager in com.vividsolutions.jump.workbench.ui |
|---|
| Methods in com.vividsolutions.jump.workbench.ui with parameters of type TaskMonitorManager | |
|---|---|
void |
WorkbenchToolBar.setTaskMonitorManager(TaskMonitorManager taskMonitorManager)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||