--- a/UI/UserInterface.py Wed Aug 04 08:54:52 2010 +0200 +++ b/UI/UserInterface.py Wed Aug 04 14:03:01 2010 +0200 @@ -2668,7 +2668,8 @@ for key in groupActionKeys: if key not in ckeys: self.toolbarManager.removeAction(self.toolGroupActions[key]) - self.toolGroupActions[key].triggered.disconnect(self.__toolActionTriggered) + self.toolGroupActions[key].triggered.disconnect( + self.__toolActionTriggered) del self.toolGroupActions[key] # step 4: add all newly configured tools