objdictgen/objdictedit.py
changeset 219 dbf69fd1fe6f
parent 209 2cb34a4ac65a
child 223 461f5516176b
equal deleted inserted replaced
218:3bc225b6fb43 219:dbf69fd1fe6f
   837                     addinglist.append(index)
   837                     addinglist.append(index)
   838             for index in current:
   838             for index in current:
   839                 if index not in new_profile:
   839                 if index not in new_profile:
   840                     removinglist.append(index)
   840                     removinglist.append(index)
   841             self.Manager.ManageEntriesOfCurrent(addinglist, removinglist)
   841             self.Manager.ManageEntriesOfCurrent(addinglist, removinglist)
   842             self.Manager.GenerateMapList()
       
   843             self.Manager.BufferCurrentNode()
   842             self.Manager.BufferCurrentNode()
   844             self.RefreshBufferState()
   843             self.RefreshBufferState()
   845             self.RefreshCurrentIndexList()
   844             self.RefreshCurrentIndexList()
   846         dialog.Destroy()
   845         dialog.Destroy()
   847 
   846