From 349daf25bffb4e609b2d1faf8a43ce37f3a853f2 Mon Sep 17 00:00:00 2001
From: Christopher Jeffrey <chjjeffrey@gmail.com>
Date: Tue, 13 Aug 2013 23:57:33 -0500
Subject: [PATCH] add allowKeyPaste option.

---
 src/term.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/term.js b/src/term.js
index 51a0490..a85cbd1 100644
--- a/src/term.js
+++ b/src/term.js
@@ -387,7 +387,8 @@ Terminal.defaults = {
   // programFeatures: false,
   // escapeKey: null,
   debug: false,
-  useStyle: false
+  useStyle: false,
+  allowKeyPaste: false
 };
 
 Terminal.options = {};
@@ -2417,6 +2418,9 @@ Terminal.prototype.keyDown = function(ev) {
       // a-z and space
       if (ev.ctrlKey) {
         if (ev.keyCode >= 65 && ev.keyCode <= 90) {
+          if (this.allowKeyPaste && ev.keyCode === 86) {
+            return;
+          }
           key = String.fromCharCode(ev.keyCode - 64);
         } else if (ev.keyCode === 32) {
           // NUL