From 3c9d43491a83cb38c83dacecb66affbee04e6892 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 18 Apr 2023 17:37:37 +0200
Subject: [PATCH] [Ivette] callgraph: fixes from MR review
---
ivette/src/frama-c/plugins/callgraph/index.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/callgraph/index.tsx b/ivette/src/frama-c/plugins/callgraph/index.tsx
index 55c4f32eee5..b76826c02d4 100644
--- a/ivette/src/frama-c/plugins/callgraph/index.tsx
+++ b/ivette/src/frama-c/plugins/callgraph/index.tsx
@@ -67,6 +67,7 @@ function getWidth(node: any): string {
}
return `${min}px`;
}
+/* eslint-enable @typescript-eslint/no-explicit-any */
(style as unknown[]).push({
selector: 'node',
@@ -192,7 +193,6 @@ function CallgraphComponent(): JSX.Element {
// Component
return (
<>
- <Ivette.TitleBar />
<Callgraph />
</>
);
--
GitLab