2002/06/05 19:56:27

darcs-hash:20040130064800-2ba56-31d93f613bd1a20610e8e2b083ea4f63b0994fd9.gz

diff --git a/src/org/xwt/plat/AWT.java b/src/org/xwt/plat/AWT.java
index 091bd75..ab3cfa9 100644 (file)
--- a/src/org/xwt/plat/AWT.java
+++ b/src/org/xwt/plat/AWT.java
@@ -375,35 +375,10 @@ public class AWT extends Platform {
             case KeyEvent.VK_SHIFT: return "shift";
             case KeyEvent.VK_TAB: return "tab";
             case KeyEvent.VK_UP: return "up";
-
-            // we special-case letters since (C-a).getKeyChar() != 'a'
-            case KeyEvent.VK_A: return "a";
-            case KeyEvent.VK_B: return "b";
-            case KeyEvent.VK_C: return "c";
-            case KeyEvent.VK_D: return "d";
-            case KeyEvent.VK_E: return "e";
-            case KeyEvent.VK_F: return "f";
-            case KeyEvent.VK_G: return "g";
-            case KeyEvent.VK_H: return "h";
-            case KeyEvent.VK_I: return "i";
-            case KeyEvent.VK_J: return "j";
-            case KeyEvent.VK_K: return "k";
-            case KeyEvent.VK_L: return "l";
-            case KeyEvent.VK_M: return "m";
-            case KeyEvent.VK_N: return "n";
-            case KeyEvent.VK_O: return "o";
-            case KeyEvent.VK_P: return "p";
-            case KeyEvent.VK_Q: return "q";
-            case KeyEvent.VK_R: return "r";
-            case KeyEvent.VK_S: return "s";
-            case KeyEvent.VK_T: return "t";
-            case KeyEvent.VK_U: return "u";
-            case KeyEvent.VK_V: return "v";
-            case KeyEvent.VK_W: return "w";
-            case KeyEvent.VK_X: return "x";
-            case KeyEvent.VK_Y: return "y";
-            case KeyEvent.VK_Z: return "z";
-            default: return String.valueOf(k.getKeyChar());
+            default:
+                char c = k.getKeyChar();
+                if (c >= 1 && c <= 26) c = (char)('a' + c - 1);
+                return String.valueOf(c);
             }
         }
     }