|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of History in jline |
| Methods in jline that return History | |
History |
ConsoleReader.getHistory()
|
| Methods in jline with parameters of type History | |
void |
ConsoleReader.setHistory(History history)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||