AutoCloseable
, Closeable
, ExtendedTerminal
, InputProvider
, IOSafeTerminal
, Scrollable
, Terminal
IOSafeTerminalAdapter.Extended
public interface IOSafeExtendedTerminal extends IOSafeTerminal, ExtendedTerminal
Modifier and Type | Method | Description |
---|---|---|
void |
deiconify() |
De-iconifies the terminal, which likely means restoring it from minimized state with most window managers
|
void |
iconify() |
Iconifies the terminal, this likely means minimizing the window with most window managers
|
void |
maximize() |
Maximizes the terminal, so that it takes up all available space
|
void |
popTitle() |
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)
|
void |
pushTitle() |
Saves the current window title on a stack managed internally by the terminal.
|
void |
scrollLines(int firstLine,
int lastLine,
int distance) |
Scroll a range of lines of this Scrollable according to given distance.
|
void |
setMouseCaptureMode(MouseCaptureMode mouseCaptureMode) |
Enabled or disables capturing of mouse event.
|
void |
setTerminalSize(int columns,
int rows) |
Attempts to resize the terminal through dtterm extensions "CSI 8 ; rows ; columns ; t".
|
void |
setTitle(String title) |
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.
|
void |
unmaximize() |
Restores the terminal back to its previous size, after having been maximized
|
bell, clearScreen, close, disableSGR, enableSGR, enquireTerminal, enterPrivateMode, exitPrivateMode, flush, getCursorPosition, getTerminalSize, pollInput, putCharacter, readInput, resetColorAndSGR, setBackgroundColor, setCursorPosition, setCursorPosition, setCursorVisible, setForegroundColor
addResizeListener, newTextGraphics, removeResizeListener
void setTerminalSize(int columns, int rows)
ExtendedTerminal
setTerminalSize
in interface ExtendedTerminal
columns
- New size (columns)rows
- New size (rows)void setTitle(String title)
ExtendedTerminal
setTitle
in interface ExtendedTerminal
title
- Title to set on the terminalvoid pushTitle()
ExtendedTerminal
pushTitle
in interface ExtendedTerminal
void popTitle()
ExtendedTerminal
popTitle
in interface ExtendedTerminal
void iconify()
ExtendedTerminal
iconify
in interface ExtendedTerminal
void deiconify()
ExtendedTerminal
deiconify
in interface ExtendedTerminal
void maximize()
ExtendedTerminal
maximize
in interface ExtendedTerminal
void unmaximize()
ExtendedTerminal
unmaximize
in interface ExtendedTerminal
void setMouseCaptureMode(MouseCaptureMode mouseCaptureMode)
ExtendedTerminal
setMouseCaptureMode
in interface ExtendedTerminal
mouseCaptureMode
- Which mouse events to capture, pass in null
to disable mouse input capturingvoid scrollLines(int firstLine, int lastLine, int distance)
Scrollable
scrollLines
in interface Scrollable
firstLine
- first line of the range to be scrolled (top line is 0)lastLine
- last (inclusive) line of the range to be scrolleddistance
- if > 0: move lines up, else if < 0: move lines down.Copyright © 2020. All rights reserved.