Tue, 13 Mar 2018 18:18:04 +0100
UserInterface: added a TODO marker to support global menus on Linux again (as a configurable item)
UI/UserInterface.py | file | annotate | diff | comparison | revisions |
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)