public class ExtensionManager
extends java.lang.Object
| Constructor and Description |
|---|
ExtensionManager() |
| Modifier and Type | Method and Description |
|---|---|
static javax.swing.Action[] |
getTreeExtensions(Tool tool) |
static javax.swing.Action[] |
getWorkflowExtensions(int type) |
static javax.swing.Action[] |
getWorkspaceExtensions(Task tool) |
static void |
registerExtension(Extension extension)
Register an extension
|
static void |
unregisterExtension(Extension extension)
Unregister an extension
|
public static void registerExtension(Extension extension)
public static void unregisterExtension(Extension extension)
public static javax.swing.Action[] getWorkspaceExtensions(Task tool)
public static javax.swing.Action[] getTreeExtensions(Tool tool)
public static javax.swing.Action[] getWorkflowExtensions(int type)