From e6b6a5f9cdc585aefbd3f2416862dfac0cdb24a0 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Thu, 21 Oct 2021 15:22:11 +0200
Subject: [PATCH] [ivette] Better visualization of the selected expressions
---
ivette/src/frama-c/plugins/eva/style.css | 17 ++++++++++++++++-
1 file changed, 16 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/style.css b/ivette/src/frama-c/plugins/eva/style.css
index e578ea782ba..129d0adc9f8 100644
--- a/ivette/src/frama-c/plugins/eva/style.css
+++ b/ivette/src/frama-c/plugins/eva/style.css
@@ -174,6 +174,21 @@
flex: 1 1 auto;
border-right: thin solid black;
border-bottom: thin solid black;
+ overflow: hidden;
+ display: flex;
+ justify-content: center;
+}
+
+.eva-cell .eva-stmt {
+ margin-left: 0.2em;
+}
+
+.eva-cell-expression {
+ text-align: center;
+ text-overflow: ellipsis;
+ flex: 0 1 auto;
+ display: inline-block;
+ overflow: hidden;
}
.eva-cell:nth-child(2) {
@@ -181,7 +196,7 @@
}
.eva-probes .eva-cell {
- padding: 2px;
+ padding: 2px 4px;
text-align: center;
border-top: thin solid black;
}
--
GitLab