| Index: tools/gen_keyboard_overlay_data/gen_keyboard_overlay_data.py
|
| diff --git a/tools/gen_keyboard_overlay_data/gen_keyboard_overlay_data.py b/tools/gen_keyboard_overlay_data/gen_keyboard_overlay_data.py
|
| index 67b5bebd1efa96d2d3ff492c3abfbb6f14803b74..073ef0bfdcec880989871cb3c919ece43277c3a2 100755
|
| --- a/tools/gen_keyboard_overlay_data/gen_keyboard_overlay_data.py
|
| +++ b/tools/gen_keyboard_overlay_data/gen_keyboard_overlay_data.py
|
| @@ -135,7 +135,9 @@ INPUT_METHOD_ID_TO_OVERLAY_ID = {
|
| 'xkb:us:dvorak:eng': 'en_US_dvorak',
|
| 'xkb:us:intl:eng': 'en_US_intl',
|
| 'xkb:us:intl:nld': 'en_US_intl',
|
| - 'xkb:us:intl:por': 'en_US_intl'
|
| + 'xkb:us:intl:por': 'en_US_intl',
|
| + 'xkb:us:workman:eng': 'en_US_workman',
|
| + 'xkb:us:workman-intl:eng': 'en_US_workman_intl',
|
| }
|
|
|
| # The file was first generated in 2012 and we have a policy of not updating
|
|
|