[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-devel
Subject:    [ jEdit-devel ] [jedit:bugs] Re: #4125 Delete at the end of the line does not delete newline (java20
From:       Alan Ezust via jEdit-devel <jedit-devel () lists ! sourceforge ! net>
Date:       2024-02-28 1:45:03
Message-ID: /p/jedit/bugs/4125/be8f324466dccb41bf7f4350219d6905c61e6e33.bugs () jedit ! p ! sourceforge ! net
[Download RAW message or body]

[Attachment #2 (multipart/related)]


--===============3603922654640079160==
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit

Yes, I think so. 


---

**[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 Feb 27, 2024 07:52 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 jedit-devel@lists.sourceforge.net 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.
--===============3603922654640079160==
MIME-Version: 1.0
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: 7bit

<div class="markdown_content"><p>Yes, I think so. </p>
<hr/>
<p><strong><a class="alink" \
href="https://sourceforge.net/p/jedit/bugs/4125/">[bugs:#4125]</a> Delete at the end \
of the line does not delete newline (java20, java21)</strong></p> \
<p><strong>Status:</strong> open<br/> <strong>Group:</strong> normal bug<br/>
<strong>Created:</strong> Sun Jun 04, 2023 12:51 PM UTC by Alan Ezust<br/>
<strong>Last Updated:</strong> Tue Feb 27, 2024 07:52 PM UTC<br/>
<strong>Owner:</strong> Matthieu Casanova</p>
<p>If I am at the end of a line and I hit delete, the newline char is not deleted \
anymore.<br/> Using jedit 5.6.0, openjdk 20 or 21 on kubuntu linux 22.04.</p>
<p>Switching to openjdk 19 makes the problem go away.</p>
<hr/>
<p>Sent from sourceforge.net because jedit-devel@lists.sourceforge.net is subscribed \
to <a href="https://sourceforge.net/p/jedit/bugs/">https://sourceforge.net/p/jedit/bugs/</a></p>
 <p>To unsubscribe from further messages, a project admin can change settings at <a \
href="https://sourceforge.net/p/jedit/admin/bugs/options.">https://sourceforge.net/p/jedit/admin/bugs/options.</a> \
                Or, if this is a mailing list, you can unsubscribe from the mailing \
                list.</p></div>
--===============3603922654640079160==--





-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel


[prev in list] [next in list] [prev in thread] [next in thread]