UI/UserInterface.py

changeset 6191
bf6bd1ecfac7
parent 6118
da9e08920e7c
child 6192
0fbc876d7468
equal deleted inserted replaced
6190:5ecba04d31f2 6191:bf6bd1ecfac7
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)
2570 if Utilities.isLinuxPlatform(): 2571 if Utilities.isLinuxPlatform():
2571 mb.setNativeMenuBar(False) 2572 mb.setNativeMenuBar(False)
2572 2573
2573 self.__menus["file"] = self.viewmanager.initFileMenu() 2574 self.__menus["file"] = self.viewmanager.initFileMenu()
2574 mb.addMenu(self.__menus["file"]) 2575 mb.addMenu(self.__menus["file"])

eric ide

mercurial