DrRacket run button needs several clicks to work...

[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 'run' function executes.

Any suggestions?

Seems like the run button does not acquire focus reliably.

Anyone else experiencing this frustrating aspect?

Thanks

Don.

(Racket is installed on Ubuntu v.16.04).

[Matthew Flatt]

Hi Don,

This problem in v8.0 has been fixed in v8.1.

Matthew