public class RPSTPlugin extends WorkbenchPlugin implements WorkbenchEditorListener
workbench
Constructor and Description |
---|
RPSTPlugin(Workbench workbench) |
Modifier and Type | Method and Description |
---|---|
java.awt.Component |
getMenuEntry()
Returns the Menu/MenuItem for this plugin.
|
void |
newEditorCreated(ProcessEditor editor) |
void |
selectedProcessEditorChanged(ProcessEditor editor) |
getWorkbench, init, setWorkbench
public RPSTPlugin(Workbench workbench)
public void newEditorCreated(ProcessEditor editor)
newEditorCreated
in interface WorkbenchEditorListener
public void selectedProcessEditorChanged(ProcessEditor editor)
selectedProcessEditorChanged
in interface WorkbenchEditorListener
public java.awt.Component getMenuEntry()
WorkbenchPlugin
getMenuEntry
in class WorkbenchPlugin