search

jline / jline3

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

Console UI ListChoice's (relative)pageSize is never used, fixes #1034 #1041

Closed mattirn closed 3 months ago