Update pyxtermjs/index.html

pyxtermjs/index.html

@@ -154,31 +154,31 @@
          * 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) => {
-                        term.write(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();
+                navigator.clipboard.writeText(toCopy);
+                term.focus();
+                return false;
+            }
+        }
+        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>