UI/UserInterface.py

changeset 6193
0313134e20b1
parent 6192
0fbc876d7468
child 6206
a02b03b7bfec
child 6212
ba531abcb365
equal deleted inserted replaced
6192:0fbc876d7468 6193:0313134e20b1
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) 2570 # TODO: make this configurable (True default)
2571 if Utilities.isLinuxPlatform(): 2571 if Utilities.isLinuxPlatform() and \
2572 not Preferences.getUI("UseNativeMenuBar"):
2572 mb.setNativeMenuBar(False) 2573 mb.setNativeMenuBar(False)
2573 2574
2574 self.__menus["file"] = self.viewmanager.initFileMenu() 2575 self.__menus["file"] = self.viewmanager.initFileMenu()
2575 mb.addMenu(self.__menus["file"]) 2576 mb.addMenu(self.__menus["file"])
2576 self.__menus["file"].addSeparator() 2577 self.__menus["file"].addSeparator()

eric ide

mercurial