Its fixed for me now. Ubuntu 11.04 x86_64.
Thanks. On 05/17/2011 10:04 AM, Robby Findler wrote:
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
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
