UI/UserInterface.py

changeset 6191
bf6bd1ecfac7
parent 6118
da9e08920e7c
child 6192
0fbc876d7468
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)
         

eric ide

mercurial