On Wed, 21 May 2025 08:20:50 GMT, Volkan Yazici <vyaz...@openjdk.org> wrote:

>> JLine is a 3rd party library. It would be desirable that they change their 
>> implementation to separately handle in/out in their terminal, but that is 
>> out of scope of this PR
>
> Created jline/jline3#1282.

Thanks!

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/25271#discussion_r2100753459

Reply via email to