Nov. 25, 2018
10:42 a.m.
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