diff -r f59d1cdde42b -r 24b506ea314b objdictgen/nodemanager.py --- 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()