From 223ddc504d7e5392ebea97f4eda54307b087b937 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Mon, 9 Jan 2023 13:32:49 +0100
Subject: [PATCH] [Ivette] Alt-clic is back
---
ivette/src/frama-c/kernel/ASTview.tsx | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 242f933d536..a2c4934ab44 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -181,10 +181,12 @@ const MarkerUpdater = createMarkerUpdater();
function createMarkerUpdater(): Editor.Extension {
const deps = { fct: Fct, tree: Tree, update: UpdateSelection };
return Editor.createEventHandler(deps, {
- mouseup: ({ fct, tree, update }, view) => {
+ mouseup: ({ fct, tree, update }, view, event) => {
const main = view.state.selection.main;
const id = coveringNode(tree, main.from)?.id;
- update({ location: { fct, marker: Ast.jMarker(id) } });
+ const location = { fct, marker: Ast.jMarker(id) };
+ update({ location });
+ if (event.altKey) States.MetaSelection.emit(location);
}
});
}
--
GitLab