[ jEdit-devel ] [jedit:bugs] #4125 Delete at the end of the line does not delete newline (java20, java21)

[Eric Le L. <ker...@us...>]

@ezust is ok to close?


---

**[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:36 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 jed...@li... 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.