From 0eb2d2f41e4484e83e05b2e90d5387c40e4da522 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 23 Mar 2023 12:54:57 +0100
Subject: [PATCH] [Ivette] Sidebar: do not always display the selected
function.
If the selected function does not satisfy the current filter, do not display it.
---
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 cfbca17117f..10b3715ec19 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -176,7 +176,7 @@ export default function Globals(): JSX.Element {
&& (evaUnreached || !evaComputed ||
('eva_analyzed' in fct && fct.eva_analyzed === true))
&& (!selected || !multipleSelectionActive || isSelected(fct));
- return visible || (!!current && fct.name === current);
+ return !!visible;
}
function onSelection(name: string): void {
--
GitLab