author | lbessard |
Mon, 11 Jun 2007 14:54:25 +0200 | |
changeset 219 | dbf69fd1fe6f |
parent 218 | 3bc225b6fb43 |
child 220 | b7fb826c66d9 |
--- 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()