From 45988c5795b52f9ffde18e007580096b7d7f9fad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 29 Sep 2023 14:27:12 +0200
Subject: [PATCH] [Ivette] Dive graph: changes the position and color of the
legend button.
---
ivette/src/frama-c/plugins/dive/graph.tsx | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/ivette/src/frama-c/plugins/dive/graph.tsx b/ivette/src/frama-c/plugins/dive/graph.tsx
index c08e8aa1044..97672882c86 100644
--- a/ivette/src/frama-c/plugins/dive/graph.tsx
+++ b/ivette/src/frama-c/plugins/dive/graph.tsx
@@ -731,19 +731,20 @@ export default function GraphComponent(): JSX.Element {
title="Choose the graph layout"
/>
<Space />
- <IconButton
- icon="TRASH"
- onClick={() => graph.current?.clear()}
- title="Clear the graph"
- />
<IconButton
icon="HELP"
onClick={flipShowLegend}
- kind={showLegend ? 'positive' : 'negative'}
+ kind={showLegend ? 'positive' : 'default'}
title={showLegend ?
'Hide legend' :
'Show legend'}
/>
+ <Space />
+ <IconButton
+ icon="TRASH"
+ onClick={() => graph.current?.clear()}
+ title="Clear the graph"
+ />
</Ivette.TitleBar>
<EvaReady>
<GraphView
--
GitLab