From b1d1f0ec687d348b6cda49240f1210c9f09e8c9a Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Tue, 10 Jul 2007 15:02:22 +0000
Subject: [PATCH] add KeyEvent -> String mappings for DOM_VK_LEFT_SHIFT,
 DOM_VK_LEFT_SHIFT and DOM_VK_F13-24

---
 chrome/content/vimperator/vimperator.js | 32 +++++++++++++++++++++++--
 1 file changed, 30 insertions(+), 2 deletions(-)

diff --git a/chrome/content/vimperator/vimperator.js b/chrome/content/vimperator/vimperator.js
index 57cf50c7..47816381 100644
--- a/chrome/content/vimperator/vimperator.js
+++ b/chrome/content/vimperator/vimperator.js
@@ -812,6 +812,10 @@ KeyboardEvent.prototype.toString = function() //{{{
             modifier += "S-";
         if (this.keyCode == KeyEvent.DOM_VK_ESCAPE)
             key = "Esc";
+        else if (this.keyCode == KeyEvent.DOM_VK_LEFT_SHIFT)
+            key = "<";
+        else if (this.keyCode == KeyEvent.DOM_VK_RIGHT_SHIFT)
+            key = ">";
         else if (this.keyCode == KeyEvent.DOM_VK_RETURN)
             key = "Return";
         else if (this.keyCode == KeyEvent.DOM_VK_TAB)
@@ -822,6 +826,8 @@ KeyboardEvent.prototype.toString = function() //{{{
             key = "BS";
         else if (this.keyCode == KeyEvent.DOM_VK_HOME)
             key = "Home";
+        else if (this.keyCode == KeyEvent.DOM_VK_INSERT)
+            key = "Insert";
         else if (this.keyCode == KeyEvent.DOM_VK_END)
             key = "End";
         else if (this.keyCode == KeyEvent.DOM_VK_LEFT)
@@ -836,8 +842,6 @@ KeyboardEvent.prototype.toString = function() //{{{
             key = "PageUp";
         else if (this.keyCode == KeyEvent.DOM_VK_PAGE_DOWN)
             key = "PageDown";
-        else if (this.keyCode == KeyEvent.DOM_VK_INSERT)
-            key = "Insert";
         else if (this.keyCode == KeyEvent.DOM_VK_F1)
             key = "F1";
         else if (this.keyCode == KeyEvent.DOM_VK_F2)
@@ -862,6 +866,30 @@ KeyboardEvent.prototype.toString = function() //{{{
             key = "F11";
         else if (this.keyCode == KeyEvent.DOM_VK_F12)
             key = "F12";
+        else if (this.keyCode == KeyEvent.DOM_VK_F13)
+            key = "F13";
+        else if (this.keyCode == KeyEvent.DOM_VK_F14)
+            key = "F14";
+        else if (this.keyCode == KeyEvent.DOM_VK_F15)
+            key = "F15";
+        else if (this.keyCode == KeyEvent.DOM_VK_F16)
+            key = "F16";
+        else if (this.keyCode == KeyEvent.DOM_VK_F17)
+            key = "F17";
+        else if (this.keyCode == KeyEvent.DOM_VK_F18)
+            key = "F18";
+        else if (this.keyCode == KeyEvent.DOM_VK_F19)
+            key = "F19";
+        else if (this.keyCode == KeyEvent.DOM_VK_F20)
+            key = "F20";
+        else if (this.keyCode == KeyEvent.DOM_VK_F21)
+            key = "F21";
+        else if (this.keyCode == KeyEvent.DOM_VK_F22)
+            key = "F22";
+        else if (this.keyCode == KeyEvent.DOM_VK_F23)
+            key = "F23";
+        else if (this.keyCode == KeyEvent.DOM_VK_F24)
+            key = "F24";
         else
             return null;
     }