From 26b71da9e0d5dffdf9475165fe70faf3c8ff7452 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Wed, 23 Mar 2022 17:04:01 +0100
Subject: [PATCH] [ivette] Improving the general feeling of the values
component
---
ivette/src/frama-c/plugins/eva/style.css | 8 +++++++-
ivette/src/frama-c/plugins/eva/valuetable.tsx | 13 +++++--------
2 files changed, 12 insertions(+), 9 deletions(-)
diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css
index 86685b4e842..e4b278bb6a3 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -167,6 +167,10 @@
border-right: thin solid var(--border);
}
+.eva-table-container {
+ overflow: auto;
+}
+
/* -------------------------------------------------------------------------- */
/* --- Table Headers CSS --- */
/* -------------------------------------------------------------------------- */
@@ -269,5 +273,7 @@ tr:first-of-type > .eva-table-callsite-box {
/* -------------------------------------------------------------------------- */
.eva-functions-section {
- overflow-y: auto;
+ display: grid;
+ overflow: auto;
+ align-content: start;
}
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 57eae580b6c..88dc90eea93 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -423,7 +423,6 @@ interface ProbeValuesProps {
addLoc: (loc: Location) => void;
isSelected: boolean;
summaryOnly: boolean;
- // selectedClass?: string;
}
function ProbeValues(props: ProbeValuesProps): Request<callstack, JSX.Element> {
@@ -487,8 +486,6 @@ function ProbeValues(props: ProbeValuesProps): Request<callstack, JSX.Element> {
-
-
interface FunctionProps {
fct: string;
markers: Map<Ast.marker, MarkerStatus>;
@@ -568,7 +565,7 @@ async function FunctionSection(props: FunctionProps): Promise<JSX.Element> {
}));
return (
- <div key={fct}>
+ <>
<Hpack className="eva-function">
<IconButton
className="eva-fct-fold"
@@ -592,7 +589,7 @@ async function FunctionSection(props: FunctionProps): Promise<JSX.Element> {
onClick={close}
/>
</Hpack>
- <div style={{ overflowX: 'auto' }}>
+ <div className='eva-table-container'>
<table className='eva-table' style={{ display: displayTable }}>
<tbody>
<tr>
@@ -611,7 +608,7 @@ async function FunctionSection(props: FunctionProps): Promise<JSX.Element> {
</tbody>
</table>
</div>
- </div>
+ </>
);
}
@@ -868,9 +865,9 @@ function EvaTable(): JSX.Element {
state={state}
setState={setState}
/>
- <Vfill className='eva-functions-section'>
+ <div className='eva-functions-section'>
{React.Children.toArray(functions)}
- </Vfill>
+ </div>
{alarmsInfos}
{stackInfos}
</>
--
GitLab