From 407564adc0623de77fcc95a52e00e7e4bcd07660 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Fri, 25 Feb 2022 15:29:28 +0100
Subject: [PATCH] [ivette] Cleaning some stuff
---
ivette/src/frama-c/kernel/Globals.tsx | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx
index 48b87b105ab..b23995b1065 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -186,7 +186,6 @@ export default function Globals(): JSX.Element {
icon: 'TUNINGS',
title: `Functions filtering options (${nFilter} / ${nTotal})`,
onClick: onContextMenu,
- visible: !(onContextMenu === undefined),
className: 'dome-xSideBarSection-filterButton'
};
@@ -214,10 +213,9 @@ export default function Globals(): JSX.Element {
'the filtering options.'}
</label>
<Button
- icon='TUNINGS'
+ {...filterButtonProps}
+ className=''
label='Functions filtering options'
- onClick={onContextMenu}
- visible={!(onContextMenu === undefined)}
/>
</div>;
--
GitLab