NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse

[Lawrence Paulson]

Believe it or not, it happened just today (only with the current release). Possibly running for a long time and exhausting memory could be related. What you see here is my repeated mouse clicking, trying to clear the previous selection, but jEdit will not let go. Eventually it starts moving text and pasting wildly.

________________________________

If it still happens again, can you make a screen recording on macOS and show
it to me?


        Makarius

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251202/b7e24a00/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: jedit mouse issue.mp4
Type: video/mp4
Size: 1516525 bytes
Desc: jedit mouse issue.mp4
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251202/b7e24a00/attachment-0001.mp4>