diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index a669091ed5f3d477b81eb339090e1b0d537c1589..4cbb8f9919c8bff9d838215bfb9b498d6d2f06bb 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