diff -r 5ecba04d31f2 -r bf6bd1ecfac7 UI/UserInterface.py --- 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)