From e6d05c0eaf258f8130b53beedb9c6728474f4c26 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 30 Nov 2021 14:38:55 +0100
Subject: [PATCH] [ivette] Style proposal for meter elements
---
.../src/frama-c/plugins/eva/CoverageMeter.tsx | 3 +-
ivette/src/renderer/style.css | 31 +++++++++++++++++++
2 files changed, 33 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx b/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx
index 39537a19e5c..e9c79e446be 100644
--- a/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx
+++ b/ivette/src/frama-c/plugins/eva/CoverageMeter.tsx
@@ -40,7 +40,8 @@ export default function (props: {coverage: Coverage}) {
<meter
min={0}
max={total}
- low={0.8 * total}
+ low={0.50 * total}
+ high={0.85 * total}
optimum={total}
value={reachable}
/>
diff --git a/ivette/src/renderer/style.css b/ivette/src/renderer/style.css
index c210426cfcc..a345a184418 100644
--- a/ivette/src/renderer/style.css
+++ b/ivette/src/renderer/style.css
@@ -65,3 +65,34 @@
.dome-window-active .labview-icon {
fill: #7d7d7d ;
}
+
+/* -------------------------------------------------------------------------- */
+/* --- Meters --- */
+/* -------------------------------------------------------------------------- */
+
+meter {
+ background: white;
+ border-radius: 5px;
+ box-shadow:
+ 0 0 4px 4px rgba(0,0,0,0.15) inset;
+ height: 16px;
+ width: 70px;
+}
+
+meter::-webkit-meter-bar {
+ background: transparent;
+ border-radius: 5px;
+ height: 14px;
+}
+
+meter::-webkit-meter-optimum-value {
+ background: linear-gradient(to bottom, #4a0 0%, #8f0 20%, #4a0 100%);
+}
+
+meter::-webkit-meter-suboptimum-value {
+ background: linear-gradient(to bottom, #aa0 0%, #ff0 20%, #aa0 100%);
+}
+
+meter::-webkit-meter-even-less-good-value {
+ background: linear-gradient(to bottom, #a40 0%, #f80 20%, #a40 100%);
+}
--
GitLab