|
|||||||||
| 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 | ||||||||