deleting next newline character in java 21 (linux)
Alan Ezust <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <CALy5K9od4orvKSi_pjkE1c=6zip+_3J+6+nWPU=puTkw=moAkA@mail.gmail.com> |
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