diff --git a/ivette/src/dome/renderer/frame/sidebars.tsx b/ivette/src/dome/renderer/frame/sidebars.tsx index f199904ad3f05be3ecaa77763274ca98f4788a8d..2fe1a5ff0fdf00ccc1372f695eec8090155be70d 100644 --- a/ivette/src/dome/renderer/frame/sidebars.tsx +++ b/ivette/src/dome/renderer/frame/sidebars.tsx @@ -139,7 +139,9 @@ export function Section(props: SectionProps): JSX.Element | null { const visible = unfold ?? state; const maxHeight = visible ? 'max-content' : 0; const { rightButtonProps: iconProps } = props; - const rightButton = iconProps ? <IconButton {...iconProps}/> : undefined; + const className = 'dome-xSideBarSection-filterButton ' + iconProps?.className; + const rightButton = + iconProps ? <IconButton {...iconProps} className={className}/> : undefined; return ( <div className={'dome-xSideBarSection ' + props.className}> diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx index b23995b106575e68916360d057c6bc6db7f50041..de8ef1cabd5c4f9c7d89c0d5c80fef5a340c64a1 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, - className: 'dome-xSideBarSection-filterButton' }; const filteredFunctions = @@ -209,14 +208,9 @@ export default function Globals(): JSX.Element { const allFiltered = <div className='dome-xSideBarSection-content'> <label className='dome-xSideBarSection-info'> - {'All functions are filtered. Maybe you can change ' + - 'the filtering options.'} + {'All functions are filtered. Try adjusting function filters.'} </label> - <Button - {...filterButtonProps} - className='' - label='Functions filtering options' - /> + <Button {...filterButtonProps} label='Functions filters' /> </div>; return (