I'm really considering merging Jansi into JLine to ease the maintenance of both projects. Proposed PR in https://github.com/jline/jline3/pull/871
I'm really considering merging Jansi into JLine to ease the maintenance of both projects.
Proposed PR in jline/jline3#871