From 9d0c82c70f5aa449dabcd1060612400faf503f38 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 6 Oct 2022 23:38:13 +0200
Subject: [PATCH] [Ivette] Dive: change the default layout
---
ivette/src/frama-c/plugins/dive/index.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/dive/index.tsx b/ivette/src/frama-c/plugins/dive/index.tsx
index 2947b0ab3a8..6eeef6ccbc6 100644
--- a/ivette/src/frama-c/plugins/dive/index.tsx
+++ b/ivette/src/frama-c/plugins/dive/index.tsx
@@ -142,7 +142,7 @@ class Dive {
};
(this.cy as CytoscapeExtended).panzoom(panzoomDefaults);
- this.layout = 'cose-bilkent';
+ this.layout = 'dagre';
if (!this.headless) {
this.cy.scratch('cxtmenu')?.destroy?.(); // Remove previous menu
--
GitLab