diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css index 6d59c2e1c79de4361017e4d1713079426461672c..b640299ca19970d5f447a12ede1e2fd1d25ebd35 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 f11f72d42db1c575a258802daa84ac1495d38b2d..5e9c95d65da8b61c9efe8b944905d83a75b66e3e 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" />