ninja-ide/ninja-ide — pull request #904 by eteq (2012-10-08 19:03:12+00:00)
Title: OS X Unicode fix for issue #872

This closes #872. It is partly based on @marchon's work in #899, but his fix does not work for me (all the shortcut keys in the menus render incorrectly). Note that this conflicts with #899, and one but *not* both should be accepted.