From 32833d07bbbcc322534f288448eb05d2d6c8a2a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 18 Feb 2022 18:02:19 +0100
Subject: [PATCH] [ivette/eva] fixed probe label & zoom tooltip
---
ivette/src/frama-c/plugins/eva/probeinfos.tsx | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/probeinfos.tsx b/ivette/src/frama-c/plugins/eva/probeinfos.tsx
index 71ea011a9bf..ed7a18124c7 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
--
GitLab