diff -r 3bc225b6fb43 -r dbf69fd1fe6f objdictgen/objdictedit.py
--- 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()