From 74133331af409a68d2c18c1e426c30ae9d976b84 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 17 May 2024 15:10:32 +0200
Subject: [PATCH] [Ivette] increase gutter bullets size and improve contrast
---
ivette/src/frama-c/kernel/ASTview.tsx | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 96db99d2d78..44a3e6fe694 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -435,18 +435,18 @@ function createPropertiesNodes(): Editor.Aspect<Property[]> {
// Bullet colors.
function getBulletColor(status: States.Tag): string {
switch (status.name) {
- case 'unknown': return '#FF8300';
+ case 'unknown': return '#FFE62E';
case 'invalid':
case 'invalid_under_hyp': return '#FF0000';
case 'valid':
- case 'valid_under_hyp': return '#00B900';
+ case 'valid_under_hyp': return '#499E00';
case 'considered_valid': return '#73bbbb';
case 'invalid_but_dead':
case 'valid_but_dead':
case 'unknown_but_dead': return '#000000';
case 'never_tried': return '#FFFFFF';
case 'inconsistent': return '#FF00FF';
- default: return '#FF8300';
+ default: return '#FFE62E';
}
}
@@ -457,10 +457,11 @@ class PropertyBullet extends Editor.GutterMarker {
constructor(status?: States.Tag) {
super();
this.bullet = document.createElement('div');
- this.bullet.innerHTML = 'â—‰';
+ this.bullet.innerHTML = '⬤';
if (status) {
this.bullet.style.color = getBulletColor(status);
this.bullet.style.textAlign = 'center';
+ this.bullet.style.webkitTextStroke = 'thin black';
if (status.descr) this.bullet.title = status.descr;
}
}
--
GitLab