diff --git a/ivette/src/frama-c/plugins/eva/probeinfos.tsx b/ivette/src/frama-c/plugins/eva/probeinfos.tsx index 71ea011a9bf7f7d8a624cb79cf5f2c186f2f02e5..ed7a18124c7db2fea83441d9059b7ea9fe193611 100644 --- a/ivette/src/frama-c/plugins/eva/probeinfos.tsx +++ b/ivette/src/frama-c/plugins/eva/probeinfos.tsx @@ -57,7 +57,11 @@ function ProbeEditor(props: ModelProp): JSX.Element | null { const { zoomable } = probe; return ( <> - <Label className="eva-probeinfo-label">{label}</Label> + <Label + display={label !== code} + className="eva-probeinfo-label"> + {label} + </Label> <div className="eva-probeinfo-code"> <SizedArea cols={cols} rows={rows}>{code}</SizedArea> </div> @@ -67,6 +71,7 @@ function ProbeEditor(props: ModelProp): JSX.Element | null { className="eva-probeinfo-button" display={zoomable} selected={zoomed} + title="Resize cells to fit values" onClick={() => { if (probe) probe.setZoomed(!zoomed); }} /> <IconButton