diff --git a/ivette/src/frama-c/plugins/dive/graph.tsx b/ivette/src/frama-c/plugins/dive/graph.tsx index c08e8aa104427b40ae85335cc5c0d857f24ab9b3..97672882c86ee38bae8c66bdea0532aba2391b9c 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