From 370d6df91089ac69ac90c5d3bc76b50315717077 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Fri, 24 Jul 2020 10:31:27 +0200
Subject: [PATCH] [ivette] Dive: layout the graph on refresh
---
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 55bad9f7466..d816c70788e 100644
--- a/ivette/src/frama-c/dive/Dive.tsx
+++ b/ivette/src/frama-c/dive/Dive.tsx
@@ -373,7 +373,8 @@ class Dive {
try {
if (Server.isRunning()) {
const data = await Server.send(API.graph, {});
- this.receiveGraph(data);
+ const newNodes = this.receiveGraph(data);
+ this.recomputeLayout(newNodes);
}
}
catch (err) {
--
GitLab