| 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. Thanks, Robby
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}