public class SwingTerminal extends jline.Terminal
Modifier and Type | Field and Description |
---|---|
protected Console |
console |
ADD, BACKSPACE, CHANGE_CASE, CHANGE_META, CLEAR_LINE, CLEAR_SCREEN, COMPLETE, CR, CTRL_A, CTRL_B, CTRL_C, CTRL_D, CTRL_E, CTRL_F, CTRL_K, CTRL_L, CTRL_N, CTRL_OB, CTRL_P, CTRL_QM, DELETE, DELETE_META, DELETE_NEXT_CHAR, DELETE_PREV_CHAR, DELETE_PREV_WORD, END_OF_HISTORY, END_WORD, EXIT, INSERT, KEYBOARD_BELL, KILL_LINE, KILL_LINE_PREV, MOVE_TO_BEG, MOVE_TO_END, NEWLINE, NEXT_CHAR, NEXT_HISTORY, NEXT_SPACE_WORD, NEXT_WORD, PASTE, PASTE_NEXT, PASTE_PREV, PREV_CHAR, PREV_HISTORY, PREV_SPACE_WORD, PREV_WORD, REDISPLAY, REPEAT_NEXT_CHAR, REPEAT_PREV_CHAR, REPEAT_SEARCH_NEXT, REPEAT_SEARCH_PREV, REPLACE_CHAR, REPLACE_MODE, RESET_LINE, SEARCH_NEXT, SEARCH_PREV, START_OF_HISTORY, SUBSTITUTE_CHAR, SUBSTITUTE_LINE, TO_END_WORD, TO_NEXT_CHAR, TO_PREV_CHAR, UNDO, UNKNOWN
Constructor and Description |
---|
SwingTerminal(Console console) |
Modifier and Type | Method and Description |
---|---|
void |
afterReadLine(jline.ConsoleReader reader,
String prompt,
Character mask) |
void |
beforeReadLine(jline.ConsoleReader reader,
String prompt,
Character mask) |
void |
disableEcho() |
void |
enableEcho() |
boolean |
getEcho() |
int |
getTerminalHeight()
Always returng 24, since we can't access this info on Windows.
|
int |
getTerminalWidth()
Always returng 80, since we can't access this info on Windows.
|
void |
initializeTerminal() |
boolean |
isANSISupported() |
boolean |
isEchoEnabled() |
boolean |
isSupported() |
public SwingTerminal(Console console)
public boolean isSupported()
isSupported
in class jline.Terminal
public boolean getEcho()
getEcho
in class jline.Terminal
public boolean isANSISupported()
isANSISupported
in class jline.Terminal
public void initializeTerminal()
initializeTerminal
in class jline.Terminal
public boolean isEchoEnabled()
isEchoEnabled
in class jline.Terminal
public void enableEcho()
enableEcho
in class jline.Terminal
public void disableEcho()
disableEcho
in class jline.Terminal
public int getTerminalWidth()
getTerminalWidth
in class jline.Terminal
public int getTerminalHeight()
getTerminalHeight
in class jline.Terminal
public void beforeReadLine(jline.ConsoleReader reader, String prompt, Character mask)
beforeReadLine
in class jline.Terminal
public void afterReadLine(jline.ConsoleReader reader, String prompt, Character mask)
afterReadLine
in class jline.Terminal
Copyright © 2017 Nuxeo. All rights reserved.