Function addElement

data-browser/src/views/DocumentPage.tsx:176–200

(position: number)

  );

  async function addElement(position: number) {
    // When an element is created, it should be a Resource that has this document as its parent.
    // or maybe a nested resource?
    const elementSubject = store.createSubject('element');
    elements.splice(position, 0, elementSubject);
    try {
      const newElement = new Resource(elementSubject, true);
      await Promise.all([
        newElement.set(properties.isA, [classes.elements.paragraph], store),
        newElement.set(properties.parent, resource.getSubject(), store),
        newElement.set(properties.description, '', store),
      ]);
      // This is a dubious hack to make sure the element is instantly usable.
      store.addResource(newElement);
      // This makes things slow, but it prevents that an empty element is added to the store
      newElement.save(store);
      await setElements(elements);
      focusElement(position);
      // window.setTimeout(() => {
      //   focusElement(position);
      // }, 10);
    } catch (e) {
      setErr(e);
    }
  }

  function focusElement(goto: number) {
    if (goto > elements.length - 1) {