UI/UserInterface.py

changeset 6212
ba531abcb365
parent 6193
0313134e20b1
child 6239
a03acd98c6c8
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)

eric ide

mercurial