wahjam/wahjam — pull request #124 by stefanha (2014-08-22 07:50:48+00:00)
Title: Mac menu fixes

These patches fix bugs with the menu bar on Mac. See the commits for details.