From 87a47e2f5f7ee27fa99e6854f38c8dcfc50534e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 19 Nov 2021 17:01:24 +0100
Subject: [PATCH] [ivette] Eva values: fixes the height of multi-lines rows.
---
ivette/src/frama-c/plugins/eva/sized.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/sized.tsx b/ivette/src/frama-c/plugins/eva/sized.tsx
index 8b142f4add9..12aa6a5baae 100644
--- a/ivette/src/frama-c/plugins/eva/sized.tsx
+++ b/ivette/src/frama-c/plugins/eva/sized.tsx
@@ -109,7 +109,7 @@ export class FontSizer {
/* --------------------------------------------------------------------------*/
export const WSIZER = new FontSizer(7, 6);
-export const HSIZER = new FontSizer(14, 6);
+export const HSIZER = new FontSizer(15, 6);
export interface SizedAreaProps {
cols: number;
--
GitLab