diff -r 9e55061c87fa -r 20a5eb6a02e6 svghmi/svghmi.js
--- a/svghmi/svghmi.js	Wed Dec 02 14:30:58 2020 +0100
+++ b/svghmi/svghmi.js	Wed Dec 02 14:31:57 2020 +0100
@@ -311,6 +311,11 @@
 var current_page_index;
 
 function prepare_svg() {
+    // prevents context menu from appearing on right click and long touch
+    document.body.addEventListener('contextmenu', e => {
+        e.preventDefault();
+    });
+
     for(let eltid in detachable_elements){
         let [element,parent] = detachable_elements[eltid];
         parent.removeChild(element);