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/20150819144213.A1CCF6501E8%40mail-svr1.cs.utah.edu. For more options, visit https://groups.google.com/d/optout.
