diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 7dcbbef248889106cc029b7b5c279ef90eef41fe..112823a87b61d85c2852ee8e1c0fc134d3137ff5 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -578,6 +578,11 @@ function createContextMenuHandler(): Editor.Extension {
       const writes = 'Studia: select writes';
       items.push({ label: reads, enabled, onClick: () => onClick('Reads') });
       items.push({ label: writes, enabled, onClick: () => onClick('Writes') });
+      const copy = (): void => {
+        const text = view.state.sliceDoc(node.from, node.to);
+        if (text !== '') navigator.clipboard.writeText(text);
+      };
+      items.push({ label: 'Copy to clipboard', onClick: copy });
       if (items.length > 0) Dome.popupMenu(items);
       return;
     }