Bugs #1012105 and #1010022: ensure menu is on top of panel.