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

[Makarius]

*** Isabelle/jEdit Prover IDE ***

* 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.


This refers to Isabelle/763ff9c96be2, which is from Isabelle-2025-1-RC3, but 
now back on isabelle-dev. It is a refinement of earlier attempts on mouse 
handling that did not work out properly.

It is important to keep an eye on mouse handling within the next 2 weeks. If 
there is anything seriously wrong, it needs to be addressed for the 
Isabelle2025-1 release, before that becomes final.


	Makarius