[racket-dev] gtk & too-small menu bar

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