diff --git a/ivette/src/frama-c/eva/Values.tsx b/ivette/src/frama-c/eva/Values.tsx index 510d9ee898636ff2fab7c6acf4b0568993afaca8..4925f5252164f89201a09afef007b1930f8be8f9 100644 --- a/ivette/src/frama-c/eva/Values.tsx +++ b/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 diff --git a/ivette/src/frama-c/eva/model.ts b/ivette/src/frama-c/eva/model.ts index 2fb65af2ca471aacd1dcde4b54c658a94e8a2001..8dbe4a460c2f2de6367ac47c79c8276af2233857 100644 --- a/ivette/src/frama-c/eva/model.ts +++ b/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