47 |
|
static void create_input_pane(GtkWidget *top); |
48 |
|
static void create_serial_pane(GtkWidget *top); |
49 |
|
static void create_memory_pane(GtkWidget *top); |
50 |
+ |
static void create_jit_pane(GtkWidget *top); |
51 |
|
static void read_settings(void); |
52 |
|
|
53 |
|
|
323 |
|
create_input_pane(notebook); |
324 |
|
create_serial_pane(notebook); |
325 |
|
create_memory_pane(notebook); |
326 |
+ |
create_jit_pane(notebook); |
327 |
|
|
328 |
|
static const opt_desc buttons[] = { |
329 |
|
{STR_START_BUTTON, GTK_SIGNAL_FUNC(cb_start)}, |
501 |
|
|
502 |
|
|
503 |
|
/* |
504 |
+ |
* "JIT Compiler" pane |
505 |
+ |
*/ |
506 |
+ |
|
507 |
+ |
// Set sensitivity of widgets |
508 |
+ |
static void set_jit_sensitive(void) |
509 |
+ |
{ |
510 |
+ |
const bool jit_enabled = PrefsFindBool("jit"); |
511 |
+ |
} |
512 |
+ |
|
513 |
+ |
// "Use JIT Compiler" button toggled |
514 |
+ |
static void tb_jit(GtkWidget *widget) |
515 |
+ |
{ |
516 |
+ |
PrefsReplaceBool("jit", GTK_TOGGLE_BUTTON(widget)->active); |
517 |
+ |
set_jit_sensitive(); |
518 |
+ |
} |
519 |
+ |
|
520 |
+ |
// Read settings from widgets and set preferences |
521 |
+ |
static void read_jit_settings(void) |
522 |
+ |
{ |
523 |
+ |
#if USE_JIT |
524 |
+ |
bool jit_enabled = PrefsFindBool("jit"); |
525 |
+ |
#endif |
526 |
+ |
} |
527 |
+ |
|
528 |
+ |
// Create "JIT Compiler" pane |
529 |
+ |
static void create_jit_pane(GtkWidget *top) |
530 |
+ |
{ |
531 |
+ |
#if USE_JIT |
532 |
+ |
GtkWidget *box, *table, *label, *menu; |
533 |
+ |
char str[32]; |
534 |
+ |
|
535 |
+ |
box = make_pane(top, STR_JIT_PANE_TITLE); |
536 |
+ |
make_checkbox(box, STR_JIT_CTRL, "jit", GTK_SIGNAL_FUNC(tb_jit)); |
537 |
+ |
|
538 |
+ |
set_jit_sensitive(); |
539 |
+ |
#endif |
540 |
+ |
} |
541 |
+ |
|
542 |
+ |
|
543 |
+ |
/* |
544 |
|
* "Graphics/Sound" pane |
545 |
|
*/ |
546 |
|
|
949 |
|
read_graphics_settings(); |
950 |
|
read_serial_settings(); |
951 |
|
read_memory_settings(); |
952 |
+ |
read_jit_settings(); |
953 |
|
} |