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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue May 17 12:04:36 EDT 2011

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.


Posted on the dev mailing list.