From 45937ed0b94bb94b2509ddfd6345bc33802a2561 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 21 Mar 2022 17:20:00 +0100
Subject: [PATCH] [ivette] Marker info: allows scrolling when information
overflows the panel.
---
ivette/src/frama-c/kernel/ASTinfo.tsx | 4 ++--
ivette/src/frama-c/kernel/style.css | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/kernel/ASTinfo.tsx b/ivette/src/frama-c/kernel/ASTinfo.tsx
index 14c29f035c0..99135b39064 100644
--- a/ivette/src/frama-c/kernel/ASTinfo.tsx
+++ b/ivette/src/frama-c/kernel/ASTinfo.tsx
@@ -362,9 +362,9 @@ export default function ASTinfo(): JSX.Element {
title="Information Filters"
/>
</TitleBar>
- <Boxes.Vfill>
+ <Boxes.Scroll>
{markers.getSelected().map(renderMark)}
- </Boxes.Vfill>
+ </Boxes.Scroll>
</>
);
}
diff --git a/ivette/src/frama-c/kernel/style.css b/ivette/src/frama-c/kernel/style.css
index b0fede1f933..9b5d8f34ae9 100644
--- a/ivette/src/frama-c/kernel/style.css
+++ b/ivette/src/frama-c/kernel/style.css
@@ -75,7 +75,7 @@
.astinfo-section {
position: relative;
- overflow: hidden;
+ overflow: auto;
padding-top: 1px;
padding-bottom: 2px;
}
--
GitLab