On Aug 17, 2015, at 11:32, 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.
The scaling seems to be much improved in the GTK 3 version. However, the latest snapshot (20150819-674ab66) seems to be incredibly slow to start when compared to 6.2 on my system. -- Brian Mastenbrook [email protected] http://brian.mastenbrook.net/ -- 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/B3EFBB92-1E3D-4F2D-A843-DAA59667B1F3%40mastenbrook.net. For more options, visit https://groups.google.com/d/optout.
