Package | Description |
---|---|
org.jline.terminal |
Modifier and Type | Method | Description |
---|---|---|
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.
JLine now writes Unicode output independently from the selected
code page.
|
TerminalBuilder |
TerminalBuilder.dumb(boolean dumb) |
|
TerminalBuilder |
TerminalBuilder.encoding(String encoding) |
Set the encoding to use for reading/writing from the console.
|
TerminalBuilder |
TerminalBuilder.encoding(Charset encoding) |
Set the
Charset to use for reading/writing from the console. |
TerminalBuilder |
TerminalBuilder.exec(boolean exec) |
|
TerminalBuilder |
TerminalBuilder.jansi(boolean jansi) |
|
TerminalBuilder |
TerminalBuilder.jna(boolean jna) |
|
TerminalBuilder |
TerminalBuilder.name(String name) |
|
TerminalBuilder |
TerminalBuilder.nativeSignals(boolean nativeSignals) |
|
TerminalBuilder |
TerminalBuilder.paused(boolean paused) |
Initial paused state of the terminal (defaults to false).
|
TerminalBuilder |
TerminalBuilder.signalHandler(Terminal.SignalHandler signalHandler) |
|
TerminalBuilder |
TerminalBuilder.size(Size size) |
Initial size to use when creating a non system terminal,
i.e.
|
TerminalBuilder |
TerminalBuilder.streams(InputStream in,
OutputStream out) |
|
TerminalBuilder |
TerminalBuilder.system(boolean system) |
|
TerminalBuilder |
TerminalBuilder.type(String type) |
Copyright © 2020. All rights reserved.