public class ScriptWorkspace extends java.lang.Object implements ResourceWorkspace
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
SCRIPT_WORKSPACE_KEY |
| Constructor and Description |
|---|
ScriptWorkspace(DesignerContext context) |
| Modifier and Type | Method and Description |
|---|---|
void |
addWorkspaceChangeListener(ScriptWorkspaceListener listener) |
void |
closeScript(java.lang.String resourceType,
long resourceId) |
void |
fireSelectionChange(ScriptTab tab) |
void |
fireSelectionChange(java.lang.String type,
java.lang.Long id) |
void |
floatTab(ScriptTab tab)
Pushes a tab from the workspace and puts it in the editing frame
|
DesignerContext |
getDesignerContext() |
EditActionHandler |
getEditActionHandler()
The handler that responds to common edit actions, like cut, copy, paste, and delete
|
int |
getFloatingTabCount() |
java.util.Collection<ResourceWorkspaceFrame> |
getFrames()
Returns a collection of
ResourceWorkspaceFrames that will be associated with this workspace. |
java.lang.String |
getKey()
Returns a keyname for the workspace.
|
MenuBarMerge |
getMenu()
Returns a menu merge for the menu options that should be present when this workspace is active.
|
java.util.List<com.jidesoft.action.CommandBar> |
getToolbars()
Returns the toolbars that will be added when this workspace is active.
|
javax.swing.JComponent |
getWorkspace()
The component that makes up the workspace itself.
|
boolean |
isActive() |
boolean |
isFrameEditorOpen() |
boolean |
isScriptOpen(java.lang.String type,
long id) |
void |
notifyTabClosed(ScriptTab tab)
Called from the editors when a tab has been closed.
|
void |
onActivation()
Called when the resource workspace will become the active workspace and will be displayed.
|
void |
onDeactivation()
Called when the resource workspace will be swapped out for a different workspace.
|
void |
openScript(java.lang.String type,
long id) |
void |
refreshSelectedScripts() |
void |
removeWorkspaceChangeListener(ScriptWorkspaceListener listener) |
void |
resetFrames(com.jidesoft.docking.DockingManager dockingManager,
com.jidesoft.action.DockableBarManager barManager)
Programmatically set the options on the frames and bars that represent the workspace's "defaults"
|
void |
save(ScriptTab tab)
Updates the project resource for this script tab, serializing the script and updating the lock
|
void |
saveAll() |
void |
selectFrameEditor() |
void |
selectScript(java.lang.String type,
long id) |
void |
shutdown() |
void |
unFloatTab(ScriptTab tab)
Pulls a tab from the floating editing frame and puts it in the workspace
|
public static final java.lang.String SCRIPT_WORKSPACE_KEY
public ScriptWorkspace(DesignerContext context)
public javax.swing.JComponent getWorkspace()
ResourceWorkspacegetWorkspace in interface ResourceWorkspacepublic java.lang.String getKey()
ResourceWorkspacegetKey in interface ResourceWorkspacepublic MenuBarMerge getMenu()
ResourceWorkspacegetMenu in interface ResourceWorkspacepublic java.util.List<com.jidesoft.action.CommandBar> getToolbars()
ResourceWorkspacegetToolbars in interface ResourceWorkspacepublic java.util.Collection<ResourceWorkspaceFrame> getFrames()
ResourceWorkspaceResourceWorkspaceFrames that will be associated with this workspace. May be null
or empty.getFrames in interface ResourceWorkspacepublic EditActionHandler getEditActionHandler()
ResourceWorkspacegetEditActionHandler in interface ResourceWorkspacepublic void resetFrames(com.jidesoft.docking.DockingManager dockingManager,
com.jidesoft.action.DockableBarManager barManager)
ResourceWorkspaceresetFrames in interface ResourceWorkspacepublic void onActivation()
ResourceWorkspaceonActivation in interface ResourceWorkspacepublic void onDeactivation()
ResourceWorkspaceonDeactivation in interface ResourceWorkspacepublic boolean isActive()
public boolean isFrameEditorOpen()
public void unFloatTab(ScriptTab tab)
public void floatTab(ScriptTab tab)
public void openScript(java.lang.String type,
long id)
public DesignerContext getDesignerContext()
public void closeScript(java.lang.String resourceType,
long resourceId)
public void notifyTabClosed(ScriptTab tab)
public boolean isScriptOpen(java.lang.String type,
long id)
public void selectScript(java.lang.String type,
long id)
public void save(ScriptTab tab)
public void saveAll()
public void refreshSelectedScripts()
public void fireSelectionChange(ScriptTab tab)
public void fireSelectionChange(java.lang.String type,
java.lang.Long id)
public void addWorkspaceChangeListener(ScriptWorkspaceListener listener)
public void removeWorkspaceChangeListener(ScriptWorkspaceListener listener)
public void shutdown()
public int getFloatingTabCount()
public void selectFrameEditor()