[jedit:bugs] #4125 Delete at the end of the line does not delete newline (java20, java21)
Alan Ezust via jEdit-devel <[email protected]> Tue, 10 Oct 2023 17:36:04 -0000
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/bugs/4125/219cecd236a329b139a5eb7ba793c830540a6f8a.bugs@jedit.p.sourceforge.net> |
I deleted my previous comment. I was still running an older build. The issue seems to be fixed to me, but I will test it some more. --- **[bugs:#4125] Delete at the end of the line does not delete newline (java20, java21)** **Status:** open **Group:** normal bug **Created:** Sun Jun 04, 2023 12:51 PM UTC by Alan Ezust **Last Updated:** Tue Oct 10, 2023 05:31 PM UTC **Owner:** Matthieu Casanova If I am at the end of a line and I hit delete, the newline char is not deleted anymore. Using jedit 5.6.0, openjdk 20 or 21 on kubuntu linux 22.04. Switching to openjdk 19 makes the problem go away. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel