UI/UserInterface.py

changeset 455
9a7e0b7b801e
parent 453
a81097a85889
child 456
d766de2ccbc7
equal deleted inserted replaced
453:a81097a85889 455:9a7e0b7b801e
2666 2666
2667 # step 3: remove all actions not configured any more 2667 # step 3: remove all actions not configured any more
2668 for key in groupActionKeys: 2668 for key in groupActionKeys:
2669 if key not in ckeys: 2669 if key not in ckeys:
2670 self.toolbarManager.removeAction(self.toolGroupActions[key]) 2670 self.toolbarManager.removeAction(self.toolGroupActions[key])
2671 self.toolGroupActions[key].triggered.disconnect(self.__toolActionTriggered) 2671 self.toolGroupActions[key].triggered.disconnect(
2672 self.__toolActionTriggered)
2672 del self.toolGroupActions[key] 2673 del self.toolGroupActions[key]
2673 2674
2674 # step 4: add all newly configured tools 2675 # step 4: add all newly configured tools
2675 category = self.trUtf8("External Tools/{0}").format(toolGroup[0]) 2676 category = self.trUtf8("External Tools/{0}").format(toolGroup[0])
2676 for tool in toolGroup[1]: 2677 for tool in toolGroup[1]:

eric ide

mercurial