[ivette] Minor details

- Make a section disapear if it is empty.
- The filter button tooltip now displays the ratio of currently
  displayed functions over the toal number of functions

ivette/src/dome/renderer/frame/sidebars.tsx

@@ -134,7 +134,7 @@ export function Section(props: SectionProps): JSX.Element | null {
   const icon = state ? 'TRIANGLE.DOWN' : 'TRIANGLE.RIGHT';
 
   const { enabled = true, disabled = false, children } = props;
-  if (disabled || !enabled) return null;
+  if (disabled || !enabled || React.Children.count(children) === 0) return null;
 
   const visible = unfold ?? state;
   const maxHeight = visible ? 'max-content' : 0;

ivette/src/frama-c/kernel/Globals.tsx

@@ -184,7 +184,7 @@ export default function Globals(): JSX.Element {
 
   const filterButtonProps = {
     icon: 'TUNINGS',
-    title: 'Functions filtering options',
+    title: `Functions filtering options (${nFilter} / ${nTotal})`,
     onClick: onContextMenu,
     visible: !(onContextMenu === undefined),
     className: 'dome-xSideBarSection-filterButton'