changeset 485 | 24b506ea314b |
parent 453 | c74a73474cce |
child 487 | 7292e686f1ab |
--- a/objdictgen/nodemanager.py Mon Jun 23 17:55:11 2008 +0200 +++ b/objdictgen/nodemanager.py Tue Jun 24 19:05:41 2008 +0200 @@ -789,6 +789,9 @@ def GetBufferNumber(self): return len(self.UndoBuffers) + def GetBufferIndexes(self): + return self.UndoBuffers.keys() + def LoadCurrentPrevious(self): self.CurrentNode = self.UndoBuffers[self.NodeIndex].Previous().Copy()