Update pyxtermjs/index.html

pyxtermjs/index.html

@@ -154,31 +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 });
-                });
-                return false;
-            } else if (key === "c" || key === "x") {
-                // ctrl+shift+x: copy whatever is highlighted to clipboard
-                const toCopy = term.getSelection();
-                navigator.clipboard.writeText(toCopy);
-                term.focus();
-                return false;
+            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 });
+                    });
+                    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);
-    term.attachCustomKeyEventHandler(customKeyEventHandler);
+        const wait_ms = 50;
+        window.onresize = debounce(fitToscreen, wait_ms);
+        term.attachCustomKeyEventHandler(customKeyEventHandler);
     </script>
 </body>
 </html>