[ivette] Marker info: allows scrolling when information overflows the panel.

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

@@ -362,9 +362,9 @@ export default function ASTinfo(): JSX.Element {
           title="Information Filters"
         />
       </TitleBar>
-      <Boxes.Vfill>
+      <Boxes.Scroll>
         {markers.getSelected().map(renderMark)}
-      </Boxes.Vfill>
+      </Boxes.Scroll>
     </>
   );
 }

ivette/src/frama-c/kernel/style.css

@@ -75,7 +75,7 @@
 
 .astinfo-section {
     position: relative;
-    overflow: hidden;
+    overflow: auto;
     padding-top: 1px;
     padding-bottom: 2px;
 }