public class DeviceManagerPlugin extends ShrinkPanelPlugin implements ChangeListener
Constructor and Description |
---|
DeviceManagerPlugin() |
Modifier and Type | Method and Description |
---|---|
Class<? extends SideContainerPerspective> |
getPerspectivePluginClass() |
PluginInfo |
getPluginInfo() |
void |
install(de.jtem.jrworkspace.plugin.Controller c) |
void |
jInputInteraction(ToolContext tc)
this is called in the perform method of the deviceManagerTool and tells what to mark was pressed, unpressed.
|
void |
stateChanged(ChangeEvent e) |
public void jInputInteraction(ToolContext tc)
slot
- public PluginInfo getPluginInfo()
public void install(de.jtem.jrworkspace.plugin.Controller c) throws Exception
Exception
public void stateChanged(ChangeEvent e)
stateChanged
in interface ChangeListener
public Class<? extends SideContainerPerspective> getPerspectivePluginClass()