--- a/UI/UserInterface.py Tue Mar 13 18:17:15 2018 +0100
+++ b/UI/UserInterface.py Tue Mar 13 18:18:04 2018 +0100
@@ -2567,6 +2567,7 @@
"""
self.__menus = {}
mb = self.menuBar()
+ # TODO: make this configurable (True default)
if Utilities.isLinuxPlatform():
mb.setNativeMenuBar(False)