Merge branch 'feature/ivette/copy-marker-to-clipboard' into 'master'

[Ivette] ASTview: adds a contextual menu entry 'copy to clipboard'.

See merge request frama-c/frama-c!4135

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;
     }