From 4527fe079501fe6fdaf73911a967640f06fb84a5 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Sat, 25 Jul 2020 19:13:39 +0200
Subject: [PATCH] [ivette] Dive: do not forget to remove the 'give me more'
vertex
---
ivette/src/frama-c/dive/Dive.tsx | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/dive/Dive.tsx b/ivette/src/frama-c/dive/Dive.tsx
index 2a17080fe4a..bfc4056e79a 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',
--
GitLab