An Undo/Redo manager as a Polymer element