ner(
      'dragend',
      (event) => {
        // reset the border of the dragged element
        dragged.style.border = '';
        onHighlight(null);
      },
      false
    );

    // Next, events intended for the drop target - the Diagram div

    const div = document.getElementById('myDiagramDiv');
    div.addEventListener(
      'dragenter',
      (event) => {
        // Here you could also set effects on the Diagram,
        // such as changing the background color to indicate an acceptable drop z