Interface ExtendedTerminal

    • Method Detail

      • setTerminalSize

        void setTerminalSize​(int columns,
                             int rows)
                      throws java.io.IOException
        Attempts to resize the terminal through dtterm extensions "CSI 8 ; rows ; columns ; t". This isn't widely supported, which is why the method is not exposed through the common Terminal interface.
        Parameters:
        columns - New size (columns)
        rows - New size (rows)
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • setTitle

        void setTitle​(java.lang.String title)
               throws java.io.IOException
        This methods sets the title of the terminal, which is normally only visible if you are running the application in a terminal emulator in a graphical environment.
        Parameters:
        title - Title to set on the terminal
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • pushTitle

        void pushTitle()
                throws java.io.IOException
        Saves the current window title on a stack managed internally by the terminal.
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • popTitle

        void popTitle()
               throws java.io.IOException
        Replaces the terminal title with the top element from the title stack managed by the terminal (the element is removed from the stack as expected)
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • iconify

        void iconify()
              throws java.io.IOException
        Iconifies the terminal, this likely means minimizing the window with most window managers
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • deiconify

        void deiconify()
                throws java.io.IOException
        De-iconifies the terminal, which likely means restoring it from minimized state with most window managers
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • maximize

        void maximize()
               throws java.io.IOException
        Maximizes the terminal, so that it takes up all available space
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • unmaximize

        void unmaximize()
                 throws java.io.IOException
        Restores the terminal back to its previous size, after having been maximized
        Throws:
        java.io.IOException - If the was an underlying I/O error
      • setMouseCaptureMode

        void setMouseCaptureMode​(MouseCaptureMode mouseCaptureMode)
                          throws java.io.IOException
        Enabled or disables capturing of mouse event. This is not recommended to use as most users are not familiar with the fact that terminal emulators allow capturing mouse input. You can decide which events you want to capture but be careful since different terminal emulators will support these modes differently. Mouse capture mode will be automatically disabled when the application exits through a shutdown hook.
        Parameters:
        mouseCaptureMode - Which mouse events to capture, pass in null to disable mouse input capturing
        Throws:
        java.io.IOException - If the was an underlying I/O error