vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Handle Japanese special keys.

Browse source 
Reported by: Hiroyuki YAMAMORI.
	Codes supplied by: Hiroyuki YAMAMORI.
This commit is contained in:
Hiroyuki YAMAMORI 2013-10-17 00:49:05 +02:00 committed by Vladimir 'phcoder' Serbinenko
parent ac48d334ab
commit ceca6ddf26
4 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
ChangeLog
View file

@ -1,3 +1,9 @@
2013-10-16 Hiroyuki YAMAMORI
Handle Japanese special keys.
Reported by: Hiroyuki YAMAMORI.
Codes supplied by: Hiroyuki YAMAMORI.
2013-10-16 Vladimir Testov <vladimir.testov@rosalab.ru>
* grub-core/gfxmenu/gui_list.c: Scrollbar sanity checks added.

3
grub-core/term/at_keyboard.c
View file

@ -108,6 +108,7 @@ static const grub_uint8_t set1_mapping[128] =
/* 0x78 */ 0, 0,
/* 0x7a */ 0, 0,
/* 0x7c */ 0, GRUB_KEYBOARD_KEY_JP_YEN,
/* 0x7e */ GRUB_KEYBOARD_KEY_KPCOMMA
};
static const struct
@ -187,7 +188,7 @@ static const grub_uint8_t set2_mapping[256] =
/* 0x66 */ GRUB_KEYBOARD_KEY_BACKSPACE, 0,
/* 0x68 */ 0, GRUB_KEYBOARD_KEY_NUM1,
/* 0x6a */ GRUB_KEYBOARD_KEY_JP_YEN, GRUB_KEYBOARD_KEY_NUM4,
/* 0x6c */ GRUB_KEYBOARD_KEY_NUM7, 0,
/* 0x6c */ GRUB_KEYBOARD_KEY_NUM7, GRUB_KEYBOARD_KEY_KPCOMMA,
/* 0x6e */ 0, 0,
/* 0x70 */ GRUB_KEYBOARD_KEY_NUMDOT, GRUB_KEYBOARD_KEY_NUM0,
/* 0x72 */ GRUB_KEYBOARD_KEY_NUM2, GRUB_KEYBOARD_KEY_NUM5,

1
include/grub/keyboard_layouts.h
View file

@ -129,6 +129,7 @@ typedef enum grub_keyboard_key
GRUB_KEYBOARD_KEY_NUM0 = 0x62,
GRUB_KEYBOARD_KEY_NUMDOT = 0x63,
GRUB_KEYBOARD_KEY_102ND = 0x64,
GRUB_KEYBOARD_KEY_KPCOMMA = 0x85,
GRUB_KEYBOARD_KEY_JP_RO = 0x87,
GRUB_KEYBOARD_KEY_JP_YEN = 0x89,
GRUB_KEYBOARD_KEY_LEFT_CTRL = 0xe0,

2
util/grub-mklayout.c
View file

@ -266,7 +266,7 @@ static grub_uint8_t linux_to_usb_map[128] = {
/* 0x72 */ 0, GRUB_KEYBOARD_KEY_JP_RO,
/* 0x74 */ 0, 0,
/* 0x76 */ 0, 0,
/* 0x78 */ 0, 0,
/* 0x78 */ 0, GRUB_KEYBOARD_KEY_KPCOMMA,
/* 0x7a */ 0, 0,
/* 0x7c */ GRUB_KEYBOARD_KEY_JP_YEN,
};