Interface WorkspaceListener


  • public interface WorkspaceListener
    Workspace event listener.
    Author:
    Mathieu Bastian
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void close​(Workspace workspace)
      Notify a workspace will be closed, all data must be destroyed.
      void disable()
      Notify no more workspace is currently selected, the project is empty.
      void initialize​(Workspace workspace)
      Notify a workspace has been created.
      void select​(Workspace workspace)
      Notify a workspace has become the selected workspace.
      void unselect​(Workspace workspace)
      Notify another workspace will be selected.
    • Method Detail

      • initialize

        void initialize​(Workspace workspace)
        Notify a workspace has been created.
        Parameters:
        workspace - the workspace that was created
      • select

        void select​(Workspace workspace)
        Notify a workspace has become the selected workspace.
        Parameters:
        workspace - the workspace that was made current workspace
      • unselect

        void unselect​(Workspace workspace)
        Notify another workspace will be selected. The select() always follows.
        Parameters:
        workspace - the workspace that is currently the selected workspace
      • close

        void close​(Workspace workspace)
        Notify a workspace will be closed, all data must be destroyed.
        Parameters:
        workspace - the workspace that is to be closed
      • disable

        void disable()
        Notify no more workspace is currently selected, the project is empty.