Re: [racket-users] DrRacket run button needs several clicks to work...

2021-05-19 Thread Matthew Flatt
Hi Don, This problem in v8.0 has been fixed in v8.1. Matthew At Wed, 19 May 2021 09:44:46 -0700 (PDT), Don Green wrote: > After upgrading to racket v.8.0, the DrRacket 'run' button does not work > consistently with one click. > Previously, a single click of the 'run' button performed it's funct

[racket-users] DrRacket run button needs several clicks to work...

2021-05-19 Thread Don Green
After upgrading to racket v.8.0, the DrRacket 'run' button does not work consistently with one click. Previously, a single click of the 'run' button performed it's function. Now, I must cycle between clicking on the 'run' button, then click anywhere in the body of the window and repeat until the