[ivette] Minor details

Changing displayed texts where all functions are filtered.

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}>

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 (