30 |
|
// Platform-specific preferences items |
31 |
|
prefs_desc platform_prefs_items[] = { |
32 |
|
{"ether", TYPE_STRING, false, "device name of Mac ethernet adapter"}, |
33 |
+ |
{"keycodes", TYPE_BOOLEAN, false, "use keycodes rather than keysyms to decode keyboard"}, |
34 |
+ |
{"keycodefile", TYPE_STRING, false, "path of keycode translation file"}, |
35 |
|
{NULL, TYPE_END, false, NULL} // End of list |
36 |
|
}; |
37 |
|
|
93 |
|
|
94 |
|
void AddPlatformPrefsDefaults(void) |
95 |
|
{ |
96 |
+ |
PrefsAddBool("keycodes", false); |
97 |
|
PrefsReplaceString("extfs", "/"); |
98 |
|
PrefsAddInt32("windowmodes", 3); |
99 |
|
PrefsAddInt32("screenmodes", 0x3f); |