Bugs
infocmp
warning #550Enhancements and new features
Groovy REPL
Launch Groovy REPL after you have build JLine
./build repl
and press ALT-S to toggle auto suggestions.
Breaking changes:
Pull request: #540:
A new module jline-console
has been created and several already existing classes have been moved in it.
org.jline.builtins.Widgets.CmdLine -> org.jline.console.CmdLine
org.jline.builtins.ConsoleEngine -> org.jline.console.ConsoleEngine
org.jline.builtins.SystemRegistry -> org.jline.console.SystemRegistry
org.jline.console.AbstractCommandRegistry -> org.jline.console.impl.AbstractCommandRegistry
org.jline.builtins.Builtins -> org.jline.console.impl.Builtins
org.jline.builtins.ConsoleEngineImpl -> org.jline.console.impl.ConsoleEngineImpl
org.jline.builtins.JlineCommandRegistry -> org.jline.console.impl.JlineCommandRegistry
org.jline.builtins.SystemRegistryImpl -> org.jline.console.impl.SystemRegistryImpl
org.jline.builtins.Widgets -> org.jline.widget.Widgets
org.jline.builtins.Widgets.AutopairWidgets -> org.jline.widget.AutopairWidgets
org.jline.builtins.Widgets.AutosuggestionWidgets -> org.jline.widget.AutosuggestionWidgets
org.jline.builtins.Widgets.TailTipWidgets -> org.jline.widget.TailTipWidgets
org.jline.console.ConfigurationPath -> org.jline.builtins.ConfigurationPath
Pull request: #543:CommandRegistry
interface has been removed two methods:
execute(CommandSession session, String command, String[] args)
You should implement instead invoke(CommandSession session, String command, Object... args)
CmdDesc commandDescription(String command)
You should implement instead CmdDesc commandDescription(List<String> args)
, where args.get(0)
is equal command
.
--
You received this message because you are subscribed to the Google Groups "jline-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jline-users...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jline-users/CAEQV%2BEGpYcyseffkXMZD1VV6V-DSu2xpkJo7X3_X5n%3D5R6OqHA%40mail.gmail.com.