| Modifier and Type | Method and Description |
|---|---|
Widgets.CmdDesc |
SystemRegistryImpl.commandDescription(String command) |
default Widgets.CmdDesc |
CommandRegistry.commandDescription(String command)
Returns a command description for use in the JLine Widgets framework.
|
Widgets.CmdDesc |
SystemRegistryImpl.commandDescription(Widgets.CmdLine line) |
Widgets.CmdDesc |
SystemRegistry.commandDescription(Widgets.CmdLine line)
Returns a command, method or syntax description for use in the JLine Widgets framework.
|
static Widgets.CmdDesc |
Builtins.compileCommandDescription(String helpMessage) |
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.