diff -r 4f0e08c95ca9 -r ba531abcb365 UI/UserInterface.py --- a/UI/UserInterface.py Wed Apr 04 15:36:10 2018 +0200 +++ b/UI/UserInterface.py Wed Apr 04 17:21:07 2018 +0200 @@ -2567,7 +2567,6 @@ """ self.__menus = {} mb = self.menuBar() - # TODO: make this configurable (True default) if Utilities.isLinuxPlatform() and \ not Preferences.getUI("UseNativeMenuBar"): mb.setNativeMenuBar(False)