Comment 6 for bug 425460

Francesco,
I have merged your branch into the trunk tonight. I made many small tweaks to the code, such as new Toolbar buttons for Undo/Redo, and added a few more history hooks where set_project_modified() was being called. Also, I have hidden the "History Tree" by default (available via View > History).

You should probably merge the trunk back into your branch, or create a new branch from the trunk at this point. =)

This is still "experimental", in that we need to do lots of testing on the speed of this approach. But so far it looks really good to me. Thanks for your help!

-Jonathan