changeset 219 | dbf69fd1fe6f |
parent 209 | 2cb34a4ac65a |
child 223 | 461f5516176b |
--- a/objdictgen/objdictedit.py Fri Jun 08 14:41:39 2007 +0200 +++ b/objdictgen/objdictedit.py Mon Jun 11 14:54:25 2007 +0200 @@ -839,7 +839,6 @@ if index not in new_profile: removinglist.append(index) self.Manager.ManageEntriesOfCurrent(addinglist, removinglist) - self.Manager.GenerateMapList() self.Manager.BufferCurrentNode() self.RefreshBufferState() self.RefreshCurrentIndexList()