| Modifier and Type | Method and Description |
|---|---|
Widgets.CmdDesc |
Builtins.commandDescription(String command) |
Widgets.CmdDesc |
Widgets.CmdDesc.mainDesc(List<org.jline.utils.AttributedString> mainDesc) |
| Modifier and Type | Method and Description |
|---|---|
void |
Widgets.TailTipWidgets.setTailTips(Map<String,Widgets.CmdDesc> tailTips) |
| Constructor and Description |
|---|
TailTipWidgets(LineReader reader,
Function<Widgets.CmdLine,Widgets.CmdDesc> descFun,
int descriptionSize,
Widgets.TailTipWidgets.TipType tipType)
Creates tailtip widgets used in command line suggestions.
|
TailTipWidgets(LineReader reader,
Map<String,Widgets.CmdDesc> tailTips)
Creates tailtip widgets used in command line suggestions.
|
TailTipWidgets(LineReader reader,
Map<String,Widgets.CmdDesc> tailTips,
int descriptionSize)
Creates tailtip widgets used in command line suggestions.
|
TailTipWidgets(LineReader reader,
Map<String,Widgets.CmdDesc> tailTips,
int descriptionSize,
Widgets.TailTipWidgets.TipType tipType)
Creates tailtip widgets used in command line suggestions.
|
TailTipWidgets(LineReader reader,
Map<String,Widgets.CmdDesc> tailTips,
Widgets.TailTipWidgets.TipType tipType)
Creates tailtip widgets used in command line suggestions.
|
Copyright © 2020. All rights reserved.