Function toggleSelectElement

app.js:4669–4682

(id, push = true)

}

function toggleSelectElement(id, push = true) {
  if (!selectedIds || !(selectedIds instanceof Set)) selectedIds = new Set();
  if (selectedIds.has(id)) {
    selectedIds.delete(id);
  } else {
    selectedIds.add(id);
    selectedId = id;
  }
  if (!selectedIds.size) selectedId = null;
  updatePropsInputs();
  renderElements();
  renderLayers();
  if (push) pushHistory();
}

function getLayerLabel(el) {
  const t = String(el.type || "element");