TerminalBuilder |
TerminalBuilder.attributes(Attributes attributes) |
Attributes to use when creating a non system terminal,
i.e.
|
static TerminalBuilder |
TerminalBuilder.builder() |
Creates a new terminal builder instance.
|
TerminalBuilder |
TerminalBuilder.codepage(int codepage) |
Deprecated.
|
TerminalBuilder |
TerminalBuilder.color(boolean color) |
|
TerminalBuilder |
TerminalBuilder.dumb(boolean dumb) |
|
TerminalBuilder |
TerminalBuilder.encoding(java.lang.String encoding) |
Set the encoding to use for reading/writing from the console.
|
TerminalBuilder |
TerminalBuilder.encoding(java.nio.charset.Charset encoding) |
Set the Charset to use for reading/writing from the console.
|
TerminalBuilder |
TerminalBuilder.exec(boolean exec) |
|
TerminalBuilder |
TerminalBuilder.ffm(boolean ffm) |
|
TerminalBuilder |
TerminalBuilder.jansi(boolean jansi) |
|
TerminalBuilder |
TerminalBuilder.jna(boolean jna) |
|
TerminalBuilder |
TerminalBuilder.jni(boolean jni) |
|
TerminalBuilder |
TerminalBuilder.name(java.lang.String name) |
|
TerminalBuilder |
TerminalBuilder.nativeSignals(boolean nativeSignals) |
|
TerminalBuilder |
TerminalBuilder.paused(boolean paused) |
Initial paused state of the terminal (defaults to false).
|
TerminalBuilder |
TerminalBuilder.provider(java.lang.String provider) |
Forces the usage of the give terminal provider.
|
TerminalBuilder |
TerminalBuilder.providers(java.lang.String providers) |
Sets the list of providers to try when creating the terminal.
|
TerminalBuilder |
TerminalBuilder.signalHandler(Terminal.SignalHandler signalHandler) |
Determines the default value for signal handlers.
|
TerminalBuilder |
TerminalBuilder.size(Size size) |
Initial size to use when creating a non system terminal,
i.e.
|
TerminalBuilder |
TerminalBuilder.streams(java.io.InputStream in,
java.io.OutputStream out) |
|
TerminalBuilder |
TerminalBuilder.system(boolean system) |
|
TerminalBuilder |
TerminalBuilder.systemOutput(TerminalBuilder.SystemOutput systemOutput) |
Indicates which standard stream should be used when displaying to the terminal.
|
TerminalBuilder |
TerminalBuilder.type(java.lang.String type) |
|