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

Fixed for me too, ubuntu 11.04 32bit, not using unity.

thanks a lot Robby!

On 05/17/2011 10:53 AM, Kevin Tew wrote:
> 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