Update pyxtermjs/index.html

pyxtermjs/index.html

@@ -154,35 +154,34 @@
          * Handle copy and paste events
          */
         function customKeyEventHandler(e) {
-    if (e.type !== "keydown") {
-        return true;
-    }
-    if (e.ctrlKey && e.shiftKey) {
-        const key = e.key.toLowerCase();
-        if (key === "v") {
-            // ctrl+shift+v: paste whatever is in the clipboard
-            navigator.clipboard.readText().then((toPaste) => {
-                socket.emit("pty-input", { input: toPaste });
-            });
-            
-            // Prevent default paste action
-            e.preventDefault();
-            
-            return false;
-        } else if (key === "c" || key === "x") {
-            // ctrl+shift+x: copy whatever is highlighted to clipboard
-            const toCopy = term.getSelection();
-            if (toCopy) {
-                navigator.clipboard.writeText(toCopy).then(() => {
-                    term.focus();
-                });
+            if (e.type !== "keydown") {
+                return true;
             }
-            return false;
+            if (e.ctrlKey && e.shiftKey) {
+                const key = e.key.toLowerCase();
+                if (key === "v") {
+                    // ctrl+shift+v: paste whatever is in the clipboard
+                    navigator.clipboard.readText().then((toPaste) => {
+                        socket.emit("pty-input", { input: toPaste });
+                    });
+                    
+                    // Prevent default paste action
+                    e.preventDefault();
+                    
+                    return false;
+                } else if (key === "c" || key === "x") {
+                    // ctrl+shift+x: copy whatever is highlighted to clipboard
+                    const toCopy = term.getSelection();
+                    if (toCopy) {
+                        navigator.clipboard.writeText(toCopy).then(() => {
+                            term.focus();
+                        });
+                    }
+                    return false;
+                }
+            }
+            return true;
         }
-    }
-    return true;
-}
-
 
         const wait_ms = 50;
         window.onresize = debounce(fitToscreen, wait_ms);