objdictgen/nodemanager.py
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()