[ivette/eva] make persistent on double-click

ivette/src/frama-c/eva/Values.tsx

@@ -171,7 +171,10 @@ function TableCell(props: TableCellProps) {
     }
   };
   const onDoubleClick = () => {
-    if (probe && probe.zoomable) probe.setZoomed(!probe.zoomed);
+    if (probe) {
+      if (probe.transient) probe.setTransient(false);
+      if (probe.zoomable) probe.setZoomed(!probe.zoomed);
+    }
   };
   return (
     <div

ivette/src/frama-c/eva/model.ts

@@ -149,6 +149,7 @@ export class Model implements StateCallbacks {
     this.stacks.clear();
     this.values.clear();
     this.forceLayout();
+    this.forceUpdate();
   }
 
   // --- Events