Class ScriptWorkspace

    • Field Detail

      • SCRIPT_WORKSPACE_KEY

        public static final java.lang.String SCRIPT_WORKSPACE_KEY
        See Also:
        Constant Field Values
    • Constructor Detail

    • Method Detail

      • getWorkspace

        public javax.swing.JComponent getWorkspace()
        Description copied from interface: ResourceWorkspace
        The component that makes up the workspace itself. Must not be null
        Specified by:
        getWorkspace in interface ResourceWorkspace
      • getKey

        public java.lang.String getKey()
        Description copied from interface: ResourceWorkspace
        Returns a keyname for the workspace. Used by nav tree nodes to specify which workspace to switch to when they are selected.
        Specified by:
        getKey in interface ResourceWorkspace
      • getToolbars

        public java.util.List<com.jidesoft.action.CommandBar> getToolbars()
        Description copied from interface: ResourceWorkspace
        Returns the toolbars that will be added when this workspace is active. May be null or empty.
        Specified by:
        getToolbars in interface ResourceWorkspace
      • resetFrames

        public void resetFrames​(com.jidesoft.docking.DockingManager dockingManager,
                                com.jidesoft.action.DockableBarManager barManager)
        Description copied from interface: ResourceWorkspace
        Programmatically set the options on the frames and bars that represent the workspace's "defaults"
        Specified by:
        resetFrames in interface ResourceWorkspace
      • onActivation

        public void onActivation()
        Description copied from interface: ResourceWorkspace
        Called when the resource workspace will become the active workspace and will be displayed.
        Specified by:
        onActivation in interface ResourceWorkspace
      • onDeactivation

        public void onDeactivation()
        Description copied from interface: ResourceWorkspace
        Called when the resource workspace will be swapped out for a different workspace.
        Specified by:
        onDeactivation in interface ResourceWorkspace
      • isActive

        public boolean isActive()
      • isFrameEditorOpen

        public boolean isFrameEditorOpen()
      • setupProjectNavNode

        public void setupProjectNavNode()
      • showWorkspace

        public void showWorkspace()
      • openScript

        public void openScript​(ResourcePath resourcePath)
      • openScript

        public void openScript​(ResourcePath id,
                               boolean readOnly)
      • unFloatTab

        public void unFloatTab​(ScriptTab tab)
        Pulls a tab from the floating editing frame and puts it in the workspace
      • floatTab

        public void floatTab​(ScriptTab tab)
        Pushes a tab from the workspace and puts it in the editing frame
      • closeScript

        public void closeScript​(ResourcePath resourceId)
      • notifyTabClosed

        public void notifyTabClosed​(ScriptTab tab)
        Called from the editors when a tab has been closed.
      • selectWelcomeTab

        public void selectWelcomeTab()
      • selectScript

        public void selectScript​(ResourcePath id)
      • isScriptOpen

        public boolean isScriptOpen​(ResourcePath id)
      • refreshSelectedScripts

        public void refreshSelectedScripts()
      • fireSelectionChange

        public void fireSelectionChange​(ScriptTab tab)
      • saveAll

        public void saveAll()
      • save

        public void save​(ScriptTab tab)
        Updates the project resource for this script tab, serializing the script and updating the lock
      • shutdown

        public void shutdown()
      • getFloatingTabCount

        public int getFloatingTabCount()
      • selectFrameEditor

        public void selectFrameEditor()
      • fireSelectionChange

        public void fireSelectionChange​(ResourcePath id)