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
ResourceWorkspaceFrame s 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()
ResourceWorkspace
getWorkspace
in interface ResourceWorkspace
public java.lang.String getKey()
ResourceWorkspace
getKey
in interface ResourceWorkspace
public MenuBarMerge getMenu()
ResourceWorkspace
getMenu
in interface ResourceWorkspace
public java.util.List<com.jidesoft.action.CommandBar> getToolbars()
ResourceWorkspace
getToolbars
in interface ResourceWorkspace
public java.util.Collection<ResourceWorkspaceFrame> getFrames()
ResourceWorkspace
ResourceWorkspaceFrame
s that will be associated with this workspace. May be null
or empty.getFrames
in interface ResourceWorkspace
public EditActionHandler getEditActionHandler()
ResourceWorkspace
getEditActionHandler
in interface ResourceWorkspace
public void resetFrames(com.jidesoft.docking.DockingManager dockingManager, com.jidesoft.action.DockableBarManager barManager)
ResourceWorkspace
resetFrames
in interface ResourceWorkspace
public void onActivation()
ResourceWorkspace
onActivation
in interface ResourceWorkspace
public void onDeactivation()
ResourceWorkspace
onDeactivation
in interface ResourceWorkspace
public 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()