Interface SessionChangedListener

    • Method Detail

      • sessionChanged

        void sessionChanged​(Session session)
        Called just after the session has changed. sessionChanged may be called by non-event thread. Should handle with care in all the listener. Use EventThread for each GUI event.
        Parameters:
        session - the new session
      • sessionAboutToChange

        void sessionAboutToChange​(Session session)
        Called just prior to the session changing. Listeners should close down any resources associated with this session. sessionAboutToChange may be called by non-event thread. Should handle with care in all the listener. Use EventThread for each GUI event.
        Parameters:
        session - the session about to be closed
      • sessionScopeChanged

        void sessionScopeChanged​(Session session)
        Called when the user has changes the session scope. sessionScopeChanged may be called by non-event thread. Should handle with care in all the listener. Use EventThread for each GUI event.
        Parameters:
        session - the current session
      • sessionModeChanged

        void sessionModeChanged​(Control.Mode mode)
        Called when the user changes the mode. sessionModeChanged may be called by non-event thread. Should handle with care in all the listener. Use EventThread for each GUI event.
        Parameters:
        mode - the new mode
      • sessionPropertiesChanged

        default void sessionPropertiesChanged​(Session session)
        Called when the session properties (e.g. name, description) have been changed.

        This method may be called by other threads than EventQueue.

        Parameters:
        session - the session changed.
        Since:
        2.7.0