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-svr1.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/CABNTSaFr7R4pzkMJyjqsVJ0UrZQYZoMPNEwozNo%3Dw3wCGJTvMw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
