Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Minor improvements to example app in picocli-shell-jline3 #892

Closed
remkop opened this issue Dec 2, 2019 · 0 comments
Closed

Minor improvements to example app in picocli-shell-jline3 #892

remkop opened this issue Dec 2, 2019 · 0 comments
Labels
theme: shell An issue or change related to interactive (JLine) applications type: doc 📘
Milestone
4.1.2

Comments

@remkop
Copy link
Owner

remkop commented Dec 2, 2019 •
edited
Loading

Thanks to @mattirn's #888 PR, picocli-shell-jline3 now integrates nicely with the new TailTipWidgets introduced in JLine 3.13.

This ticket is for small improvements to the picocli-shell-jline3 example.
@remkop remkop added type: doc 📘 theme: shell An issue or change related to interactive (JLine) applications labels Dec 2, 2019
@remkop remkop added this to the 4.1.2 milestone Dec 2, 2019
@remkop remkop closed this as completed in 66c2b5b Dec 2, 2019
@remkop remkop changed the title Improve example app in picocli-shell-jline3 Minor improvements to example app in picocli-shell-jline3 Dec 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
theme: shell An issue or change related to interactive (JLine) applications type: doc 📘
Projects
None yet
Milestone
4.1.2
Development

No branches or pull requests
1 participant
@remkop