UI/UserInterface.py

changeset 6212
ba531abcb365
parent 6193
0313134e20b1
child 6239
a03acd98c6c8
equal deleted inserted replaced
6211:4f0e08c95ca9 6212:ba531abcb365
2565 """ 2565 """
2566 Private slot to create the menus. 2566 Private slot to create the menus.
2567 """ 2567 """
2568 self.__menus = {} 2568 self.__menus = {}
2569 mb = self.menuBar() 2569 mb = self.menuBar()
2570 # TODO: make this configurable (True default)
2571 if Utilities.isLinuxPlatform() and \ 2570 if Utilities.isLinuxPlatform() and \
2572 not Preferences.getUI("UseNativeMenuBar"): 2571 not Preferences.getUI("UseNativeMenuBar"):
2573 mb.setNativeMenuBar(False) 2572 mb.setNativeMenuBar(False)
2574 2573
2575 self.__menus["file"] = self.viewmanager.initFileMenu() 2574 self.__menus["file"] = self.viewmanager.initFileMenu()

eric ide

mercurial