In consultation with Matthew, I've pushed a change that fixes the too small menu bar problem, at least on a VM on my laptop.
If you're seeing this problem, can you check and see if the change fixes it for you too? Also, if someone could try it out on a unity setup, that'd be helpful. Thanks, Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
