objdictgen/objdictedit.py
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()