Good news. With recent spring update (1803) of Windows 10, the mouse stutter problem seems to be solved. Happy gaming!
Jürgen _______________________________________________ Enigma-devel mailing list Enigma-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/enigma-devel