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)