equal
deleted
inserted
replaced
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 |