Uses of Interface
org.jline.reader.Widget
Packages that use Widget
Package
Description
JLine 3.
-
Uses of Widget in org.jline.builtins
Method parameters in org.jline.builtins with type arguments of type WidgetModifier and TypeMethodDescriptionstatic voidCommands.widget(LineReader reader, PrintStream out, PrintStream err, Function<String, Widget> widgetCreator, String[] argv) -
Uses of Widget in org.jline.console
Classes in org.jline.console that implement Widget -
Uses of Widget in org.jline.console.impl
Fields in org.jline.console.impl with type parameters of type WidgetConstructor parameters in org.jline.console.impl with type arguments of type WidgetModifierConstructorDescriptionBuiltins(Supplier<Path> workDir, ConfigurationPath configPath, Function<String, Widget> widgetCreator) Builtins(Set<Builtins.Command> commands, Path workDir, ConfigurationPath configpath, Function<String, Widget> widgetCreator) Builtins(Set<Builtins.Command> commands, Supplier<Path> workDir, ConfigurationPath configpath, Function<String, Widget> widgetCreator) -
Uses of Widget in org.jline.reader
Methods in org.jline.reader that return types with arguments of type Widget -
Uses of Widget in org.jline.reader.impl
Fields in org.jline.reader.impl with type parameters of type WidgetMethods in org.jline.reader.impl that return WidgetModifier and TypeMethodDescriptionprotected Widgetprivate WidgetLineReaderImpl.namedWidget(String name, Widget widget) Methods in org.jline.reader.impl that return types with arguments of type WidgetModifier and TypeMethodDescriptionLineReaderImpl.builtinWidgets()LineReaderImpl.getBuiltinWidgets()LineReaderImpl.getWidgets()Methods in org.jline.reader.impl with parameters of type WidgetModifier and TypeMethodDescriptionprivate voidprivate voidLineReaderImpl.bind(KeyMap<Binding> map, Widget widget, CharSequence... keySeqs) private booleanprivate WidgetLineReaderImpl.namedWidget(String name, Widget widget) Method parameters in org.jline.reader.impl with type arguments of type Widget -
Uses of Widget in org.jline.widget
Methods in org.jline.widget that return WidgetModifier and TypeMethodDescriptionprivate WidgetWidgets.namedWidget(String name, Widget widget) private WidgetMethods in org.jline.widget with parameters of type Widget