From eabbc0b71f75eae01e3082c749b13189dc79b790 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 25 Mar 2022 14:55:22 +0100
Subject: [PATCH] [ivette] ASTview: fixes the decoration of hovered markers.
---
ivette/src/frama-c/kernel/ASTview.tsx | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 53650f233aa..339961b65b0 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -162,7 +162,6 @@ export default function ASTview() {
const printed = React.useRef<string | undefined>();
const [selection, updateSelection] = States.useSelection();
const [hoveredLoc] = States.useHovered();
- const selfhover = React.useRef(false);
const multipleSelections = selection?.multiple.allSelections;
const theFunction = selection?.current?.fct;
const theMarker = selection?.current?.marker;
@@ -223,12 +222,12 @@ export default function ASTview() {
return 'dead-code';
if (deadCode?.nonTerminating?.some((m) => m === marker))
return 'non-terminating';
- if (!selfhover.current && marker === hovered)
+ if (marker === hovered)
return 'hovered-marker';
return undefined;
};
buffer.setDecorator(decorator);
- }, [buffer, multipleSelections, selfhover, hovered, deadCode]);
+ }, [buffer, multipleSelections, hovered, deadCode]);
// Hook: marker scrolling
React.useEffect(() => {
@@ -238,7 +237,6 @@ export default function ASTview() {
function onHover(markerId?: string) {
const marker = Ast.jMarker(markerId);
const fct = selection?.current?.fct;
- selfhover.current = (marker !== undefined);
States.setHovered(marker ? { fct, marker } : undefined);
}
--
GitLab