views: Make auto-hide-menu-bar work when NumLock is on, fixes #796
views: Fix showing menu bar when pressing Alt for a long time