From 45ab3e31051a1d2002696182bfebfb942dbbfa0c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 17 Dec 2020 09:43:39 +0100
Subject: [PATCH] [ivette/eva] row layout padding
---
ivette/src/frama-c/eva/layout.ts | 2 ++
1 file changed, 2 insertions(+)
diff --git a/ivette/src/frama-c/eva/layout.ts b/ivette/src/frama-c/eva/layout.ts
index 931ed11b4bc..e3a95b2dcb3 100644
--- a/ivette/src/frama-c/eva/layout.ts
+++ b/ivette/src/frama-c/eva/layout.ts
@@ -23,6 +23,7 @@ export interface Row {
/* --- Layout Enfine ---*/
/* --------------------------------------------------------------------------*/
+const PADDING = 2;
const HCROP = 18;
const VCROP = 1;
@@ -66,6 +67,7 @@ export class LayoutEngine {
p.maxCols = Math.max(p.minCols, probeSize.cols);
if (s.cols + this.rowSize.cols > this.margin) this.flush();
this.rowSize = addH(this.rowSize, s);
+ this.rowSize.cols += PADDING;
this.buffer.push(p);
}
--
GitLab