UserInterface: added a TODO marker to support global menus on Linux again (as a configurable item)

Tue, 13 Mar 2018 18:18:04 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 13 Mar 2018 18:18:04 +0100
changeset 6191
bf6bd1ecfac7
parent 6190
5ecba04d31f2
child 6192
0fbc876d7468

UserInterface: added a TODO marker to support global menus on Linux again (as a configurable item)

UI/UserInterface.py file | annotate | diff | comparison | revisions
--- 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