g_keys[0x53].ch1 = 63508; /* delete */
g_keys[0x53].ch2 = 63493; /* delete */
g_keys[0x54].ch1 = 63525; /* f11 */
- g_keys[0x54].ch1 = 63527; /* f12 */
+ g_keys[0x55].ch1 = 63527; /* f12 */
}
/*****************************************************************************/