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

[Makarius]

On 02/12/2025 12:15, Lawrence Paulson wrote:
> 
> 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.

There is a > 0 chance that the new mouse handler prevents that.

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


	Makarius