From 11cbb0c8faa67b7ce7f5faacb728e058a0ce1529 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 5 Apr 2023 14:52:21 +0200
Subject: [PATCH] [ivette] make filters responding to settings
---
ivette/src/frama-c/kernel/Properties.tsx | 2 ++
1 file changed, 2 insertions(+)
diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index a669091ed5f..4cbb8f9919c 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -423,6 +423,8 @@ function FilterSection(props: SectionProps): JSX.Element {
title: `Configure filters`,
onClick: () => onContextMenu(prefix),
} : undefined;
+ const update = Dome.useForceUpdate();
+ Settings.useWindowSettingsEvent(update);
const summary = prefix ? filterSummary(prefix) : undefined;
return (
<Section
--
GitLab