Re: deleting next newline character in java 21 (linux)

Alan Ezust <[email protected]>
Newsgroups gmane.editors.jedit.devel
Message-ID <CALy5K9ruD8n-ANMSRnXn3n19zrs9PYkcfmT=8RzrseFnFh2cnA@mail.gmail.com> 
I can confirm the same problem exists in openJDK 20 (linux). Do we work
around it in jEdit or do we try to report it as a bug in openjdk, I wonder?

On Wed, May 31, 2023 at 11:20 AM Alan Ezust <[email protected]> wrote:

> I just tried jEdit with java21 and now the "delete" character no longer
> works if I am at the end of the line - i expect it to delete the newline
> and it just doesn't. switching to java 19 makes the problem go away.
>
>

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.