mirror of
https://github.com/aNNiMON/Own-Programming-Language-Tutorial.git
synced 2024-09-20 00:34:20 +03:00
Disable jline expansion
This commit is contained in:
parent
f1772746cc
commit
03d890df7c
@ -6,7 +6,7 @@ ext {
|
|||||||
snakeyaml: '1.20', // org.yaml:snakeyaml
|
snakeyaml: '1.20', // org.yaml:snakeyaml
|
||||||
okhttp: '3.8.1', // com.squareup.okhttp3:okhttp
|
okhttp: '3.8.1', // com.squareup.okhttp3:okhttp
|
||||||
socket: '1.0.2', // io.socket:socket.io-client
|
socket: '1.0.2', // io.socket:socket.io-client
|
||||||
jline: '2.14.5', // jline:jline
|
jline: '2.14.6', // jline:jline
|
||||||
|
|
||||||
javalin: '5.6.3', // io.javalin:javalin
|
javalin: '5.6.3', // io.javalin:javalin
|
||||||
slf4j: '2.0.9', // org.slf4j:slf4j-simple
|
slf4j: '2.0.9', // org.slf4j:slf4j-simple
|
||||||
|
@ -9,6 +9,7 @@ public class JLineConsole implements ReplConsole {
|
|||||||
private final ConsoleReader console;
|
private final ConsoleReader console;
|
||||||
|
|
||||||
public JLineConsole() throws IOException {
|
public JLineConsole() throws IOException {
|
||||||
|
System.setProperty(ConsoleReader.JLINE_EXPAND_EVENTS, "false");
|
||||||
console = new ConsoleReader();
|
console = new ConsoleReader();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user