gistfile1.diff

diff -r 88b448133884 src/os_win32.c
--- a/src/os_win32.c	Mon Jun 10 21:27:29 2013 +0200
+++ b/src/os_win32.c	Tue Jun 11 19:19:26 2013 +0900
@@ -793,20 +793,20 @@
     /* special cases */
     if ((nModifs & CTRL) != 0 && (nModifs & ~CTRL) == 0 && pker->AChar == NUL)
     {
-	/* Ctrl-6 is Ctrl-^ */
-	if (pker->wVirtualKeyCode == '6')
+	/* Ctrl-^ */
+	if (pker->wVirtualKeyCode == 0xDE)
 	{
 	    *pch = Ctrl_HAT;
 	    return TRUE;
 	}
-	/* Ctrl-2 is Ctrl-@ */
-	else if (pker->wVirtualKeyCode == '2')
+	/* Ctrl-@ */
+	else if (pker->wVirtualKeyCode == 0xC0)
 	{
 	    *pch = NUL;
 	    return TRUE;
 	}
-	/* Ctrl-- is Ctrl-_ */
-	else if (pker->wVirtualKeyCode == 0xBD)
+	/* Ctrl-_ */
+	else if (pker->wVirtualKeyCode == 0xE2)
 	{
 	    *pch = Ctrl__;
 	    return TRUE;