Re: deleting next newline character in java 21 (linux)
Dale Anson <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <CAHrA0wBotDEeRA3n0xbx5+yHDGAkAJPG+SG7e2-eCCq4_f8Zbg@mail.gmail.com> |
I'm not finding anything by googling about this. I did find that if I press Ctrl-Delete at the end of the line that it works like I would expect Delete by itself to work. It seems the delete key works correctly everywhere except at the end of a line. I'm testing with Java 20. On Fri, Jun 2, 2023 at 9:48 AM Alan Ezust <[email protected]> wrote: > > 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 -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel