[prev in list] [next in list] [prev in thread] [next in thread]
List: jedit-devel
Subject: Re: [ jEdit-devel ] deleting next newline character in java 21 (linux)
From: Alan Ezust <alan.ezust () gmail ! com>
Date: 2023-06-02 15:47:11
Message-ID: CALy5K9ruD8n-ANMSRnXn3n19zrs9PYkcfmT=8RzrseFnFh2cnA () mail ! gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
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 <alan.ezust@gmail.com> 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.
>
>
[Attachment #5 (text/html)]
<div dir="ltr">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?<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On \
Wed, May 31, 2023 at 11:20 AM Alan Ezust <<a \
href="mailto:alan.ezust@gmail.com">alan.ezust@gmail.com</a>> \
wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px \
0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>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.</div><div><br></div></div> </blockquote></div>
--
-----------------------------------------------
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]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic