@Marco: I see, you're right.
So I think that the OP suggestion is still the good one. Have (at least optionally) global menu only for maximized windows.
@Marco: I see, you're right.
So I think that the OP suggestion is still the good one. Have (at least optionally) global menu only for maximized windows.