worklist/hifi — pull request #965 by ey6es (2013-09-20 00:59:18+00:00)
Title: Fix for menu not showing up on Linux: don't parent the info view to the menu.

...up on

Linux. Let's try not doing that.