I confirm, a `raco setup` fixes the slow startup issue. Thanks! On Wed, Aug 19, 2015 at 4:07 PM, Matthew Flatt <[email protected]> wrote:
> It looks like there are timestamp problems with the snapshot builds. A > `raco setup` should fix the problem (quickly), and I'll figure out > what's going wrong with the snapshot VMs. > > At Wed, 19 Aug 2015 09:57:15 -0500, Brian Mastenbrook wrote: > > 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/20150819150753.665AB6501E8%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/CABNTSaFW8oU%2B51SF0o0EMjreZXCuGUmF4CiUCySw3YRQvLZ_8g%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
