Undo/Redo in HTMLBuffer