2010/8/30 Benny Malengier <benny.malengier@gmail.com>


As for a limit, I think we only need to replace the stacks implemented
as lists with something like:

class Stack(list):
   def __init__(self, stack_size=None):
       super(Stack, self).__init__()
       self.stack_size = stack_size
   def append(self, item):
       if self.stack_size and len(self) == self.stack_size:
           self.pop(0)
       return super(Stack, self).append(item)


I'll look at it now

Ok, did the above for the undo buffer.
It is now hard coded to 700, we can make that a config option, but I think not many people are interested in clicking 700 times undo...

Clicking 700 spaces or enters does mean the buffer holds no interesting information.

Benny

>