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

On Tue, May 17, 2011 at 2:58 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> On Tue, May 17, 2011 at 1:45 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
>> On Tue, May 17, 2011 at 12:04 PM, Robby Findler
>> <robby at 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
samth at ccs.neu.edu