worklist/hifi — pull request #863 by ey6es (2013-08-19 17:52:58+00:00)
Title: We must set the window menu bar in order for it to show up on Linux/Wind...

...ows.