diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx index 48b87b105ab62482146c9c86edd8cd9909bc8be1..b23995b106575e68916360d057c6bc6db7f50041 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>;