Private Member Functions | |
| private void | WorkbenchPlugin () |
| private void | ~WorkbenchPlugin () |
| event void | Run () |
| event void | RunCommandline () |
| event void | Configure () |
| event void | OnResourceContextMenu (notnull array< ResourceName > resources) |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |