On Tue, May 17, 2011 at 2:58 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > On Tue, May 17, 2011 at 1:45 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> > wrote: >> On Tue, May 17, 2011 at 12:04 PM, Robby Findler >> <ro...@eecs.northwestern.edu> 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. >> >> This works for me on both my machine running Unity, and my machine >> running Gnome3. >> >> On Unity, there's a black bar where the menu bar would be, since Unity >> puts the menus in the top panel. I'm not sure what the right way to >> remove that is. > > Wouldn't the right thing be to actually put the menus there instead of > removing that bar? (Or am I misunderstanding something?)
No, Unity makes a global design choice that menus go in the top panel (like on a Mac). Here's a screenshot that shows what's going on: http://www.linuxuser.co.uk/wp-content/uploads/2010/09/Ubuntu-Ubunity-Screenshot-4.png -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev