diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 242f933d5364329edbd8d9332276245ea0e17ff0..a2c4934ab44cc81f4f9f7dd75dc754d35ad35716 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);
     }
   });
 }