51 |
|
{"nonet", TYPE_BOOLEAN, false, "don't use Ethernet"}, |
52 |
|
{"nosound", TYPE_BOOLEAN, false, "don't enable sound output"}, |
53 |
|
{"nogui", TYPE_BOOLEAN, false, "disable GUI"}, |
54 |
+ |
{"noclipconversion", TYPE_BOOLEAN, false, "don't convert clipboard contents"}, |
55 |
|
{"ignoresegv", TYPE_BOOLEAN, false, "ignore illegal memory accesses"}, |
56 |
+ |
{"jit", TYPE_BOOLEAN, false, "enable JIT compiler"}, |
57 |
+ |
{"keyboardtype", TYPE_INT32, false, "hardware keyboard type"}, |
58 |
|
{NULL, TYPE_END, false, NULL} // End of list |
59 |
|
}; |
60 |
|
|
74 |
|
PrefsAddBool("nonet", false); |
75 |
|
PrefsAddBool("nosound", false); |
76 |
|
PrefsAddBool("nogui", false); |
77 |
+ |
PrefsAddBool("noclipconversion", false); |
78 |
|
PrefsAddBool("ignoresegv", true); |
79 |
+ |
|
80 |
+ |
#if USE_JIT |
81 |
+ |
// JIT compiler specific options |
82 |
+ |
PrefsAddBool("jit", true); |
83 |
+ |
#else |
84 |
+ |
PrefsAddBool("jit", false); |
85 |
+ |
#endif |
86 |
+ |
|
87 |
+ |
PrefsAddInt32("keyboardtype", 5); |
88 |
|
} |