From 26ef980e5f6270c27cb01da419a02670bf13000c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 24 Jun 2022 14:37:01 +0200
Subject: [PATCH] [ivette] Eva: fixes vertical scrolling when printing domain
states.
---
ivette/src/dome/renderer/layout/style.css | 1 -
.../src/frama-c/plugins/eva/DomainStates.tsx | 26 ++++++++++---------
2 files changed, 14 insertions(+), 13 deletions(-)
diff --git a/ivette/src/dome/renderer/layout/style.css b/ivette/src/dome/renderer/layout/style.css
index a2e0fca13db..41dfbcc3254 100644
--- a/ivette/src/dome/renderer/layout/style.css
+++ b/ivette/src/dome/renderer/layout/style.css
@@ -103,7 +103,6 @@
.dome-xSplitter-block {
display: block;
- overflow: hidden;
position: relative;
width: 100%;
height: 100%;
diff --git a/ivette/src/frama-c/plugins/eva/DomainStates.tsx b/ivette/src/frama-c/plugins/eva/DomainStates.tsx
index be4845187da..4e6015bdd54 100644
--- a/ivette/src/frama-c/plugins/eva/DomainStates.tsx
+++ b/ivette/src/frama-c/plugins/eva/DomainStates.tsx
@@ -92,18 +92,20 @@ export function EvaStates(): JSX.Element {
onChange={setFilter}
/>
</Boxes.Hbox>
- <HSplit
- settings="ivette.eva.domainStates.beforeAfterSplit"
- >
- <div className="domain-state-box">
- State before the selected statement:
- <Text className="domain-state" text={stateBefore} />
- </div>
- <div className="domain-state-box">
- State after the selected statement:
- <Text className="domain-state" text={stateAfter} />
- </div>
- </HSplit>
+ <Boxes.Scroll>
+ <HSplit
+ settings="ivette.eva.domainStates.beforeAfterSplit"
+ >
+ <div className="domain-state-box">
+ State before the selected statement:
+ <Text className="domain-state" text={stateBefore} />
+ </div>
+ <div className="domain-state-box">
+ State after the selected statement:
+ <Text className="domain-state" text={stateAfter} />
+ </div>
+ </HSplit>
+ </Boxes.Scroll>
</>);
}
--
GitLab