It is indeed fixed in the newest version, however DrRacket is very slow to start up (more than 1minute I think), then uses 100% cpu for some time but then drops to normal usage and runs smoothly AFAICT.
On Wed, Aug 19, 2015 at 3:42 PM, Matthew Flatt <[email protected]> wrote: > Those sound like problems that I fixed yesterday, although they could > be additional issues. > > If you're not running the very latest snapshot, please try the new one > and let me know whether the problems persist. > > Thanks! > > At Wed, 19 Aug 2015 15:27:15 +0100, Laurent wrote: > > That's great, thanks a lot! > > > > One obvious regression: Scrolling in DrRacket works only when the mouse > > cursor is on the scroll bar. However it works well in the > > Edit/Preferences/Editing/Indenting lists. > > I have some issues with refreshing message labels too, but I don't have > yet > > a simple example. > > > > Laurent > > > > On Mon, Aug 17, 2015 at 5:32 PM, Matthew Flatt <[email protected]> > wrote: > > > > > As of this morning, the `racket/gui` library on Unix variants uses GTK+ > > > 3 instead of GTK+ 2, although it will continue to use GTK+2 if GTK+ 3 > > > is not available. The switch to GTK+ 3 hopefully provides better > > > support for high-resolution displays. > > > > > > Watch out for GUI regressions, and let me know if you run into > > > problems. If you need to fall back to GTK+ 2 (when you have GTK+ 3 > > > installed), set the `PLT_GTK2` environment variable to anything. > > > > > > -- > > > You received this message because you are subscribed to the Google > Groups > > > "Racket Developers" group. > > > To unsubscribe from this group and stop receiving emails from it, send > an > > > email to [email protected]. > > > To post to this group, send email to [email protected]. > > > To view this discussion on the web visit > > > > > > https://groups.google.com/d/msgid/racket-dev/20150817163254.F41406501DE%40mail-s > > vr1.cs.utah.edu > > > . > > > For more options, visit https://groups.google.com/d/optout. > > > > -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CABNTSaFRWwa%3D3QvSFmzU3WV9w5c0-HNw0Jj0uUZZi%2BtTp8-ipA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
