Class EditorTerminalProps

    • Constructor Detail

      • EditorTerminalProps

        public EditorTerminalProps()
        Creates the screen property container without a name. The name must be set in all cases using the setPropertyAtom call.
      • EditorTerminalProps

        public EditorTerminalProps​(Atom propertyAtom)
        Creates the screen property container with the specified name. All system-reserved names for components begins with "$".
        Parameters:
        propertyAtom - the name of the component, unique within it's parent.
    • Method Detail

      • getTerminalProps

        public static EditorTerminalProps getTerminalProps​(org.eclipse.swt.widgets.Shell shell,
                                                           java.lang.String sessionName)
                                                    throws java.io.IOException
        Attempts to get a terminal properties instance from a session name.
        Parameters:
        shell - The shell.
        sessionName - The session name.
        Returns:
        null If this failed.
        Throws:
        java.io.IOException - If connect failed or file I/O errors occurred.
      • isSessionConfigurable

        public boolean isSessionConfigurable()
        Checks if this terminal session can be configured.
        Returns:
        false when this terminal session is EE and it's a captured file.
      • setEESession

        public void setEESession​(EESession s)
        Assigns the EESession to the properties. This is a volatile setting.
        Parameters:
        s - The EE session.
      • getSessionName

        public java.lang.String getSessionName()
        Gets the session name of this property for the screen editor.
        Returns:
        The session name.
      • getEESession

        public EESession getEESession()
        Gets the EESession for saving captures/recording.
        Returns:
        The EE session, or null for live terminal.