From 9f1a651abe26a77662adcefa15c400672c651632 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 27 Jul 2021 07:28:09 +0000
Subject: [PATCH] [ivette] Property table: do not highlight Eva filters when
they are enabled.
---
ivette/src/frama-c/kernel/Properties.tsx | 2 --
1 file changed, 2 deletions(-)
diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index ed121ec00c4..18c8c5ac500 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -441,13 +441,11 @@ function PropertyFilter() {
<CheckField
label="High-priority only"
path="eva.priority_only"
- highligh
title="Show only high-priority properties for the Eva analysis"
/>
<CheckField
label="Tainted only"
path="eva.tainted_only"
- highligh
title="Show only tainted properties according to the Eva taint domain"
/>
</Section>
--
GitLab