Comment 3 for bug 793970

ijk (ijk) wrote :

I thought the reasoning for hiding the menu was to save vertical screen space.
This makes sense for a maximized window, but a windowed window already has a title - so why not use the top panel for the (unhidden) menu instead?