John

Many thanks for the tip. I have always found double click very erratic on Windows 7 and now on W10. It would eventually work, but was critically dependent on getting the right timing for the click interval. Pushing the pointer towards ‘slow’ on the mouse settings has improved things a lot.

Peter Kenny

From: Pharo-users <pharo-users-bounces@lists.pharo.org> On Behalf Of John Kimber via Pharo-users
Sent: 24 November 2018 23:06
To: pharo-users@lists.pharo.org
Cc: John Kimber <jk4aiest@yahoo.com>
Subject: [Pharo-users] Windows 10 double-click issue + solution