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.codepage(int codepage)
Deprecated.
JLine now writes Unicode output independently from the selected
code page. Using this option will only make it emulate the selected code
page for
Terminal.input() and Terminal.output() . |
TerminalBuilder |
TerminalBuilder.dumb(boolean dumb) |
TerminalBuilder |
TerminalBuilder.encoding(Charset encoding)
Set the
Charset to use for reading/writing from the console. |
TerminalBuilder |
TerminalBuilder.encoding(String encoding)
Set the encoding 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.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 © 2018 JBoss by Red Hat. All rights reserved.