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