Comment 18 for bug 783240

By the way, bug 762277 is likely to be a duplicate (or this is a duplicate thereof), bug 732653 is not because it asks for the default behaviour to change (always show global menu), but shows that this bugs lots of people.