[ivette] Marker info: a meta selection pins the selected marker.

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

@@ -324,6 +324,13 @@ export default function ASTinfo(): JSX.Element {
   React.useEffect(() => {
     markers.setLocations(selectedLoc, hoveredLoc);
   }, [markers, selectedLoc, hoveredLoc]);
+  const pinMarker = (location: States.Location) : void => {
+    markers.setPinned(location?.marker, true);
+  };
+  React.useEffect(() => {
+    States.MetaSelection.on(pinMarker);
+    return () => States.MetaSelection.off(pinMarker);
+  });
   // Rendering
   const renderMark = (mark: Mark): JSX.Element | null => {
     const { marker } = mark;