Please pull handleUndo changes

[GoogleCodeExporter]

Hi,

I implemented a shared settings object which allows you to tweak the editor at 
creation time without editing the code.

I also added a handleUndo switch which allows you to turn off the undo 
functionality which I needed for my project with shareJS.

The change is at 
http://code.google.com/r/woutmertens-noundo/source/detail?r=52c43623e71b1c912d68
4bd4b513c9fe1cc23c09

Original issue reported on code.google.com by [email protected] on 5 Jan 2012 at 3:56