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.
|
static TerminalBuilder |
TerminalBuilder.builder()
Creates a new terminal builder instance.
|
TerminalBuilder |
TerminalBuilder.dumb(boolean dumb) |
TerminalBuilder |
TerminalBuilder.encoding(String encoding) |
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.
|
TerminalBuilder |
TerminalBuilder.streams(InputStream in,
OutputStream out) |
TerminalBuilder |
TerminalBuilder.system(boolean system) |
TerminalBuilder |
TerminalBuilder.type(String type) |
Copyright © 2017. All rights reserved.