objdictgen/nodemanager.py
changeset 485 24b506ea314b
parent 453 c74a73474cce
child 487 7292e686f1ab
equal deleted inserted replaced
484:f59d1cdde42b 485:24b506ea314b
   786             result |= not buffer.IsCurrentSaved()
   786             result |= not buffer.IsCurrentSaved()
   787         return result
   787         return result
   788 
   788 
   789     def GetBufferNumber(self):
   789     def GetBufferNumber(self):
   790         return len(self.UndoBuffers)
   790         return len(self.UndoBuffers)
       
   791 
       
   792     def GetBufferIndexes(self):
       
   793         return self.UndoBuffers.keys()
   791 
   794 
   792     def LoadCurrentPrevious(self):
   795     def LoadCurrentPrevious(self):
   793         self.CurrentNode = self.UndoBuffers[self.NodeIndex].Previous().Copy()
   796         self.CurrentNode = self.UndoBuffers[self.NodeIndex].Previous().Copy()
   794     
   797     
   795     def LoadCurrentNext(self):
   798     def LoadCurrentNext(self):