From 26f6ea060b541db74d4cb14b5b6f091b31eec3bd Mon Sep 17 00:00:00 2001 From: Ruben 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