@diagram-js/undo_redo (npm): Undo/Redo plugin
Keywords: undo|redo|command