Phantom mouse movement issues with macOS

[Jürgen Spitzmüller]

Am Dienstag, dem 05.09.2023 um 15:36 +0200 schrieb Jean-Marc
Lasgouttes:
> But I have to admit that I do not understand all the ramifications of
> doing this. I am ambivalent on the change, to be frank. We could just
> keep it in mind in case the issue reappears.

So be it, then.

-- 
Jürgen