Check possibility of double PopupMenu in NavPanels #5
Description
In the navigation panels we check for whether popup-menus should be shown in both
mouseReleased and mousePressed. On some systems, this may result in the menu being displayed twice if the user presses and releases.