On Thu, 31 Oct 2024 23:11:42 GMT, Kevin Rushforth <[email protected]> wrote:

>> I agree. That has been available since 1.7. But possibly this code is old 
>> enough to pre-date that ..
>
> This code possibly dates from JDK 6. If we want to change it (which we 
> probably should), let's do this as a follow-up, since all of the doPrivileged 
> PRs are intended to be behavior neutral.

Done (there actually even was a comment right above this about support for 
`lineSeparator()` in core)

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

PR Review Comment: https://git.openjdk.org/jfx/pull/1619#discussion_r1825627586

Reply via email to