Sun, 24 Apr 2016 13:00:10 +0200
Merged remote changes.
--- a/UI/UserInterface.py Wed Apr 20 19:39:10 2016 +0200 +++ b/UI/UserInterface.py Sun Apr 24 13:00:10 2016 +0200 @@ -2433,6 +2433,8 @@ """ self.__menus = {} mb = self.menuBar() + if Utilities.isLinuxPlatform(): + mb.setNativeMenuBar(False) self.__menus["file"] = self.viewmanager.initFileMenu() mb.addMenu(self.__menus["file"])