diff --git a/ivette/src/frama-c/dive/Dive.tsx b/ivette/src/frama-c/dive/Dive.tsx index 2a17080fe4afa93e7a9bae8bb9ff1c44938861a4..bfc4056e79ac8648ef4e017c4747c4112cdff243 100644 --- a/ivette/src/frama-c/dive/Dive.tsx +++ b/ivette/src/frama-c/dive/Dive.tsx @@ -124,6 +124,7 @@ class Dive { remove(node: Cytoscape.NodeCollection): void { const parent = node.parent(); node.remove(); + this.cy.$id(`${node.id()}-more`).remove(); if (parent.nonempty() && parent.children().empty()) this.remove(parent); // Recursively remove parents } @@ -255,7 +256,7 @@ class Dive { // Add a node for the user to ask for more dependencies const idmore = `${node.id}-more`; - this.cy.remove(`#${idmore}`); + this.cy.$id(idmore).remove(); if (node.backward_explored === 'partial') { const elemore = this.cy.add({ group: 'nodes',