I was thinking of how to improve DOM updates. One of ideas is to add Element.update() method:
Element.update(function(updateCtx) {
updateCtx.setInnerText(this, "new text");
updateCtx.setAttribute(this, "title", "new title");
...
});
This has two benefits: 1) transactional update, 2) for contenteditable scenarios it can group DOM mutations in atomic undo-able action.But I've discarded that in lieu of Element.patch(vDOM):
Element.patch(<div title="new title">new text</div>);
as the later is more humanistic I would say.