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

[Lawrence Paulson]

I have tried the new mouse handling with a magic mouse and I'd like it much, much more than the previous behaviour.

This remind me of another mouse-related problem, intermittent unfortunately, but I think connected with typing/pasting over the current selection: it gets into a crazy state where it thinks the cursor position as one half of a selection and interprets any other mouse click as the other half. Generally, it goes berserk after this and often there's no alternative to closing the window or even quitting altogether, as sometimes it starts pasting and making an unrecoverable mess of your proof. Maybe this is just part of the magic of a magic mouse.

________________________________
* Mouse event handling is now more robust and more reactive: this is
especially relevant for macOS with Magic Mouse. The mouse reacts on
pressing the button, and does not wait for its release. After jumping
around in the editor, e.g. when following hyperlinks, mouse drag events
are ignored (according to system option "editor_jump_delay", with
default 0.3 seconds): this avoids spurious text selection after editor
navigation.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251202/ebf2cde6/attachment.htm>