From 29bfab7b22de1b5942d7dc3fd1be859ea015f0b8 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Thu, 17 Mar 2022 10:40:42 +0100
Subject: [PATCH] [ivette] Minor fixes
---
ivette/src/frama-c/plugins/eva/style.css | 4 +---
ivette/src/frama-c/plugins/eva/valuetable.tsx | 2 ++
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css
index 6d59c2e1c79..b640299ca19 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -228,12 +228,10 @@ tr:first-of-type > .eva-table-callsite-box {
height: 22px;
min-height: 22px;
max-height: 22px;
- white-space: break-spaces;
+ white-space: pre;
}
.eva-values-position {
- padding-left: 19px;
- padding-right: 2px;
}
/* -------------------------------------------------------------------------- */
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index f11f72d42db..5e9c95d65da 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -401,10 +401,12 @@ function ProbeValues(props: ProbeValuesProps): Request<callstack, JSX.Element> {
const alarmClass = classes('eva-cell-alarms', `eva-alarm-${status}`);
const kind = callstack === 'Summary' ? 'one' : 'this';
const title = `At least one alarm is raised in ${kind} callstack`;
+ const align = e.value.includes('\n') ? 'left' : 'center';
return (
<td
className={className}
onContextMenu={onContextMenu(e)}
+ style={{ textAlign: align }}
>
<span className={'eva-values-position'}>{e.value}</span>
<Icon className={alarmClass} size={10} title={title} id="WARNING" />
--
GitLab