Tue, 13 Mar 2018 18:18:04 +0100
UserInterface: added a TODO marker to support global menus on Linux again (as a configurable item)
--- 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)