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

From: Kevin Tew (tewk at cs.utah.edu)
Date: Tue May 17 12:53:12 EDT 2011

Its fixed for me now.

Ubuntu 11.04 x86_64.


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

Posted on the dev mailing list.