search

jline / jline3

JLine is a Java library for handling console input.
Other
1.49k stars 218 forks source link

Fix possible NPE in TailTipWidgets #1108

Closed gnodet closed 2 weeks ago