From 26f6ea060b541db74d4cb14b5b6f091b31eec3bd Mon Sep 17 00:00:00 2001
From: Ruben <ruben@rubenkerkhof.com>
Date: Sun, 17 Oct 2010 17:51:33 +0200
Subject: [PATCH 14/14] 40_more-ctrl-catches.diff from Debian
---
ajaxterm.js | 5 ++---
1 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/ajaxterm.js b/ajaxterm.js
index b976a96..98e3715 100644
--- a/ajaxterm.js
+++ b/ajaxterm.js
@@ -208,15 +208,14 @@ ajaxterm.Terminal_ctor=function(id,width,height) {
k=String.fromCharCode(27)+String.fromCharCode(kc);
}
} else if (ev.ctrlKey) {
- if (kc>=65 && kc<=90) k=String.fromCharCode(kc-64); // Ctrl-A..Z
+ if (kc>=64 && kc<=95) k=String.fromCharCode(kc-64); // Ctrl-@,A..Z,[,\,^,],_
else if (kc>=97 && kc<=122) k=String.fromCharCode(kc-96); // Ctrl-A..Z
else if (kc==54) k=String.fromCharCode(30); // Ctrl-^
else if (kc==109) k=String.fromCharCode(31); // Ctrl-_
else if (kc==219) k=String.fromCharCode(27); // Ctrl-[
else if (kc==220) k=String.fromCharCode(28); // Ctrl-\
else if (kc==221) k=String.fromCharCode(29); // Ctrl-]
- else if (kc==219) k=String.fromCharCode(29); // Ctrl-]
- else if (kc==219) k=String.fromCharCode(0); // Ctrl-@
+ else if (kc==32) k=String.fromCharCode(0); // Ctrl-space
} else if (ev.which==0) {
if (kc==9) k=String.fromCharCode(9); // Tab
else if (kc==8) k=String.fromCharCode(127); // Backspace
--
1.7.3.1