On Wednesday, September 21, 2016 at 10:42:33 AM UTC+8, Robby Findler wrote:
> It is a performance issue and the default saves memory when one creates a lot
> of little text% objects.
> Maybe we should add something to the docs. Where did you look?
The overview section for editors could include a paragraph for enabling the
"undo" functionality, this is where I went when all else failed :-)
When I noticed that undo was not working, I searched the text% documentation
for the word undo, could not find any mention of enabling it. Also, what
confused me is that the documentation for the "add-undo" method
The system automatically installs undo records to undo built-in editor
operations, such as inserts, deletes, and font changes. Install an
undoer only when it is necessary to maintain state or handle operations
that are not built-in.
I took that to mean that everything should work if I just manipulate the text
and don't add my own snips. Perhaps this paragraph could mention that the undo
limit is 0 by default and it should be set to a non-zero value using
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.