1124 |
|
static GtkObject *w_ramsize_adj; |
1125 |
|
static GtkWidget *w_rom_file; |
1126 |
|
|
1127 |
+ |
// "Ignore SEGV" button toggled |
1128 |
+ |
#ifdef HAVE_SIGSEGV_SKIP_INSTRUCTION |
1129 |
+ |
static void tb_ignoresegv(GtkWidget *widget) |
1130 |
+ |
{ |
1131 |
+ |
PrefsReplaceBool("ignoresegv", GTK_TOGGLE_BUTTON(widget)->active); |
1132 |
+ |
} |
1133 |
+ |
#endif |
1134 |
+ |
|
1135 |
|
// Model ID selected |
1136 |
|
static void mn_modelid_5(...) {PrefsReplaceInt32("modelid", 5);} |
1137 |
|
static void mn_modelid_14(...) {PrefsReplaceInt32("modelid", 14);} |
1234 |
|
#endif |
1235 |
|
|
1236 |
|
w_rom_file = make_file_entry(box, STR_ROM_FILE_CTRL, "rom"); |
1237 |
+ |
|
1238 |
+ |
#ifdef HAVE_SIGSEGV_SKIP_INSTRUCTION |
1239 |
+ |
make_checkbox(box, STR_IGNORESEGV_CTRL, "ignoresegv", GTK_SIGNAL_FUNC(tb_ignoresegv)); |
1240 |
+ |
#endif |
1241 |
|
} |
1242 |
|
|
1243 |
|
|