From 75ba8c28876cefda6b2f7ccb701dd590f9f24194 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 3 May 2024 20:07:05 +0200
Subject: [PATCH] [ivette] filtered empty globals
---
ivette/src/frama-c/kernel/Globals.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx
index 1a6b90c4e24..cee66e33d4c 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -122,7 +122,7 @@ function List(props: ListProps): JSX.Element {
let contents;
- if (count <= 0) {
+ if (count <= 0 && total > 0) {
contents =
<div className='dome-xSideBarSection-content'>
<label className='globals-info'>
--
GitLab