Phantom mouse movement issues with macOS

[Jürgen Spitzmüller]

Am Dienstag, dem 05.09.2023 um 15:19 +0200 schrieb Jean-Marc
Lasgouttes:
> Indeed, this is why I thought we may want to have this
> unconditionally as early as possible; It cannot hurt, as I see it.

I agree that this is a good idea. Just wondering whether it should be
done next to the current fix which does a bit more for inset buttons
(see my other comment on why I like that).

-- 
Jürgen