| Package | Description |
|---|---|
| org.jline.terminal |
| Modifier and Type | Method and Description |
|---|---|
TerminalBuilder |
TerminalBuilder.attributes(Attributes attributes)
Attributes to use when creating a non system terminal,
i.e. when the builder has been given the input and
outut streams using the
streams(InputStream, OutputStream) method
or when system(boolean) has been explicitely called with
false. |
static TerminalBuilder |
TerminalBuilder.builder()
Creates a new terminal builder instance.
|
TerminalBuilder |
TerminalBuilder.dumb(boolean dumb) |
TerminalBuilder |
TerminalBuilder.encoding(String encoding) |
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.signalHandler(Terminal.SignalHandler signalHandler) |
TerminalBuilder |
TerminalBuilder.size(Size size)
Initial size to use when creating a non system terminal,
i.e. when the builder has been given the input and
outut streams using the
streams(InputStream, OutputStream) method
or when system(boolean) has been explicitely called with
false. |
TerminalBuilder |
TerminalBuilder.streams(InputStream in,
OutputStream out) |
TerminalBuilder |
TerminalBuilder.system(boolean system) |
TerminalBuilder |
TerminalBuilder.type(String type) |
Copyright © 2017. All rights reserved.