eButton(
          'Undo',
          (e, obj) => e.diagram.commandHandler.undo(),
          (o) => o.diagram.commandHandler.canUndo()
        ),
        makeButton(
          'Redo',
          (e, obj) => e.diagram.commandHandler.redo(),
          (o) => o.diagram.commandHandler.canRedo()
        )
      );

    // Change the angle of the parts connected with the given node
    function rotate(node, angle) {
      const tool = myDiagram.toolManager.draggingTool; // should be a SnappingTool
      myDiagram.s