ViewVC Help
View File | Revision Log | Show Annotations | Revision Graph | Root Listing
root/cebix/BasiliskII/src/Unix/prefs_editor_gtk.cpp
(Generate patch)

Comparing BasiliskII/src/Unix/prefs_editor_gtk.cpp (file contents):
Revision 1.18 by cebix, 2001-07-12T19:48:27Z vs.
Revision 1.27 by gbeauche, 2005-06-06T20:11:50Z

# Line 1 | Line 1
1   /*
2   *  prefs_editor_gtk.cpp - Preferences editor, Unix implementation using GTK+
3   *
4 < *  Basilisk II (C) 1997-2001 Christian Bauer
4 > *  Basilisk II (C) 1997-2005 Christian Bauer
5   *
6   *  This program is free software; you can redistribute it and/or modify
7   *  it under the terms of the GNU General Public License as published by
# Line 28 | Line 28
28   #include <net/if.h>
29   #include <net/if_arp.h>
30  
31 + #ifdef HAVE_GNOMEUI
32 + #include <gnome.h>
33 + #endif
34 +
35   #include "user_strings.h"
36   #include "version.h"
37   #include "cdrom.h"
# Line 48 | Line 52 | static void create_graphics_pane(GtkWidg
52   static void create_input_pane(GtkWidget *top);
53   static void create_serial_pane(GtkWidget *top);
54   static void create_memory_pane(GtkWidget *top);
55 + static void create_jit_pane(GtkWidget *top);
56   static void read_settings(void);
57  
58  
# Line 60 | Line 65 | struct opt_desc {
65          GtkSignalFunc func;
66   };
67  
68 + struct combo_desc {
69 +        int label_id;
70 + };
71 +
72   static void add_menu_item(GtkWidget *menu, int label_id, GtkSignalFunc func)
73   {
74          GtkWidget *item = gtk_menu_item_new_with_label(GetString(label_id));
# Line 150 | Line 159 | static GtkWidget *make_option_menu(GtkWi
159          return menu;
160   }
161  
162 < static GtkWidget *make_entry(GtkWidget *top, int label_id, const char *prefs_item)
162 > static GtkWidget *make_file_entry(GtkWidget *top, int label_id, const char *prefs_item, bool only_dirs = false)
163   {
164          GtkWidget *box, *label, *entry;
165  
# Line 162 | Line 171 | static GtkWidget *make_entry(GtkWidget *
171          gtk_widget_show(label);
172          gtk_box_pack_start(GTK_BOX(box), label, FALSE, FALSE, 0);
173  
165        entry = gtk_entry_new();
166        gtk_widget_show(entry);
174          const char *str = PrefsFindString(prefs_item);
175          if (str == NULL)
176                  str = "";
177 +
178 + #ifdef HAVE_GNOMEUI
179 +        entry = gnome_file_entry_new(NULL, GetString(label_id));
180 +        if (only_dirs)
181 +                gnome_file_entry_set_directory(GNOME_FILE_ENTRY(entry), true);
182 +        gtk_entry_set_text(GTK_ENTRY(gnome_file_entry_gtk_entry(GNOME_FILE_ENTRY(entry))), str);
183 + #else
184 +        entry = gtk_entry_new();
185          gtk_entry_set_text(GTK_ENTRY(entry), str);
186 + #endif
187 +        gtk_widget_show(entry);
188          gtk_box_pack_start(GTK_BOX(box), entry, TRUE, TRUE, 0);
189          return entry;
190   }
191  
192 + static char *get_file_entry_path(GtkWidget *entry)
193 + {
194 + #ifdef HAVE_GNOMEUI
195 +        return gnome_file_entry_get_full_path(GNOME_FILE_ENTRY(entry), false);
196 + #else
197 +        return gtk_entry_get_text(GTK_ENTRY(entry));
198 + #endif
199 + }
200 +
201   static GtkWidget *make_checkbox(GtkWidget *top, int label_id, const char *prefs_item, GtkSignalFunc func)
202   {
203          GtkWidget *button = gtk_check_button_new_with_label(GetString(label_id));
# Line 182 | Line 208 | static GtkWidget *make_checkbox(GtkWidge
208          return button;
209   }
210  
211 + static GtkWidget *make_combobox(GtkWidget *top, int label_id, const char *prefs_item, const combo_desc *options)
212 + {
213 +        GtkWidget *box, *label, *combo;
214 +        char str[32];
215 +
216 +        box = gtk_hbox_new(FALSE, 4);
217 +        gtk_widget_show(box);
218 +        gtk_box_pack_start(GTK_BOX(top), box, FALSE, FALSE, 0);
219  
220 +        label = gtk_label_new(GetString(label_id));
221 +        gtk_widget_show(label);
222 +        gtk_box_pack_start(GTK_BOX(box), label, FALSE, FALSE, 0);
223 +
224 +        GList *glist = NULL;
225 +        while (options->label_id) {
226 +                glist = g_list_append(glist, (void *)GetString(options->label_id));
227 +                options++;
228 +        }
229 +        
230 +        combo = gtk_combo_new();
231 +        gtk_widget_show(combo);
232 +        gtk_combo_set_popdown_strings(GTK_COMBO(combo), glist);
233 +        
234 +        sprintf(str, "%d", PrefsFindInt32(prefs_item));
235 +        gtk_entry_set_text(GTK_ENTRY(GTK_COMBO(combo)->entry), str);
236 +        gtk_box_pack_start(GTK_BOX(box), combo, TRUE, TRUE, 0);
237 +        
238 +        return combo;
239 + }
240 +
241 +
242   /*
243   *  Show preferences editor
244   *  Returns true when user clicked on "Start", false otherwise
# Line 225 | Line 281 | static void dl_quit(GtkWidget *dialog)
281   // "About" selected
282   static void mn_about(...)
283   {
284 <        GtkWidget *dialog, *label, *button;
284 >        GtkWidget *dialog;
285 >
286 > #ifdef HAVE_GNOMEUI
287 >
288 >        char version[32];
289 >        sprintf(version, "Version %d.%d", VERSION_MAJOR, VERSION_MINOR);
290 >        const char *authors[] = {
291 >                "Christian Bauer",
292 >                "Orlando Bassotto",
293 >                "Gwenolé Beauchesne",
294 >                "Marc Chabanas",
295 >                "Marc Hellwig",
296 >                "Biill Huey",
297 >                "Brian J. Johnson",
298 >                "Jürgen Lachmann",
299 >                "Samuel Lander",
300 >                "David Lawrence",
301 >                "Lauri Pesonen",
302 >                "Bernd Schmidt",
303 >                "and others",
304 >                NULL
305 >        };
306 >        dialog = gnome_about_new(
307 >                "Basilisk II",
308 >                version,
309 >                "Copyright (C) 1997-2004 Christian Bauer",
310 >                authors,
311 >                "Basilisk II comes with ABSOLUTELY NO WARRANTY."
312 >                "This is free software, and you are welcome to redistribute it"
313 >                "under the terms of the GNU General Public License.",
314 >                NULL
315 >        );
316 >        gnome_dialog_set_parent(GNOME_DIALOG(dialog), GTK_WINDOW(win));
317 >
318 > #else
319 >
320 >        GtkWidget *label, *button;
321  
322          char str[512];
323          sprintf(str,
324                  "Basilisk II\nVersion %d.%d\n\n"
325 <                "Copyright (C) 1997-2001 Christian Bauer et al.\n"
325 >                "Copyright (C) 1997-2004 Christian Bauer et al.\n"
326                  "E-mail: Christian.Bauer@uni-mainz.de\n"
327                  "http://www.uni-mainz.de/~bauec002/B2Main.html\n\n"
328                  "Basilisk II comes with ABSOLUTELY NO\n"
# Line 256 | Line 348 | static void mn_about(...)
348          gtk_box_pack_start(GTK_BOX(GTK_DIALOG(dialog)->action_area), button, FALSE, FALSE, 0);
349          GTK_WIDGET_SET_FLAGS(button, GTK_CAN_DEFAULT);
350          gtk_widget_grab_default(button);
351 +
352 + #endif
353 +
354          gtk_widget_show(dialog);
355   }
356  
# Line 309 | Line 404 | bool PrefsEditor(void)
404          create_input_pane(notebook);
405          create_serial_pane(notebook);
406          create_memory_pane(notebook);
407 +        create_jit_pane(notebook);
408  
409          static const opt_desc buttons[] = {
410                  {STR_START_BUTTON, GTK_SIGNAL_FUNC(cb_start)},
# Line 431 | Line 527 | static void read_volumes_settings(void)
527                  PrefsAddString("disk", str);
528          }
529  
530 <        PrefsReplaceString("extfs", gtk_entry_get_text(GTK_ENTRY(w_extfs)));
530 >        PrefsReplaceString("extfs", get_file_entry_path(w_extfs));
531   }
532  
533   // Create "Volumes" pane
# Line 452 | Line 548 | static void create_volumes_pane(GtkWidge
548          gtk_signal_connect(GTK_OBJECT(volume_list), "select_row", GTK_SIGNAL_FUNC(cl_selected), NULL);
549          char *str;
550          int32 index = 0;
551 <        while ((str = (char *)PrefsFindString("disk", index++)) != NULL)
551 >        while ((str = const_cast<char *>(PrefsFindString("disk", index++))) != NULL)
552                  gtk_clist_append(GTK_CLIST(volume_list), &str);
553          gtk_scrolled_window_add_with_viewport(GTK_SCROLLED_WINDOW(scroll), volume_list);
554          gtk_box_pack_start(GTK_BOX(box), scroll, TRUE, TRUE, 0);
# Line 467 | Line 563 | static void create_volumes_pane(GtkWidge
563          make_button_box(box, 0, buttons);
564          make_separator(box);
565  
566 <        w_extfs = make_entry(box, STR_EXTFS_CTRL, "extfs");
566 >        w_extfs = make_file_entry(box, STR_EXTFS_CTRL, "extfs", true);
567  
568          static const opt_desc options[] = {
569                  {STR_BOOT_ANY_LAB, GTK_SIGNAL_FUNC(mn_boot_any)},
# Line 486 | Line 582 | static void create_volumes_pane(GtkWidge
582  
583  
584   /*
585 + *  "JIT Compiler" pane
586 + */
587 +
588 + static GtkWidget *w_jit_fpu;
589 + static GtkWidget *w_jit_atraps;
590 + static GtkWidget *w_jit_cache_size;
591 + static GtkWidget *w_jit_lazy_flush;
592 + static GtkWidget *w_jit_follow_const_jumps;
593 +
594 + // Set sensitivity of widgets
595 + static void set_jit_sensitive(void)
596 + {
597 +        const bool jit_enabled = PrefsFindBool("jit");
598 +        gtk_widget_set_sensitive(w_jit_fpu, jit_enabled);
599 +        gtk_widget_set_sensitive(w_jit_cache_size, jit_enabled);
600 +        gtk_widget_set_sensitive(w_jit_lazy_flush, jit_enabled);
601 +        gtk_widget_set_sensitive(w_jit_follow_const_jumps, jit_enabled);
602 + }
603 +
604 + // "Use JIT Compiler" button toggled
605 + static void tb_jit(GtkWidget *widget)
606 + {
607 +        PrefsReplaceBool("jit", GTK_TOGGLE_BUTTON(widget)->active);
608 +        set_jit_sensitive();
609 + }
610 +
611 + // "Compile FPU Instructions" button toggled
612 + static void tb_jit_fpu(GtkWidget *widget)
613 + {
614 +        PrefsReplaceBool("jitfpu", GTK_TOGGLE_BUTTON(widget)->active);
615 + }
616 +
617 + // "Lazy translation cache invalidation" button toggled
618 + static void tb_jit_lazy_flush(GtkWidget *widget)
619 + {
620 +        PrefsReplaceBool("jitlazyflush", GTK_TOGGLE_BUTTON(widget)->active);
621 + }
622 +
623 + // "Translate through constant jumps (inline blocks)" button toggled
624 + static void tb_jit_follow_const_jumps(GtkWidget *widget)
625 + {
626 +        PrefsReplaceBool("jitinline", GTK_TOGGLE_BUTTON(widget)->active);
627 + }
628 +
629 + // Read settings from widgets and set preferences
630 + static void read_jit_settings(void)
631 + {
632 + #if USE_JIT
633 +        bool jit_enabled = PrefsFindBool("jit");
634 +        if (jit_enabled) {
635 +                const char *str = gtk_entry_get_text(GTK_ENTRY(GTK_COMBO(w_jit_cache_size)->entry));
636 +                PrefsReplaceInt32("jitcachesize", atoi(str));
637 +        }
638 + #endif
639 + }
640 +
641 + // Create "JIT Compiler" pane
642 + static void create_jit_pane(GtkWidget *top)
643 + {
644 + #if USE_JIT
645 +        GtkWidget *box, *table, *label, *menu;
646 +        char str[32];
647 +        
648 +        box = make_pane(top, STR_JIT_PANE_TITLE);
649 +        make_checkbox(box, STR_JIT_CTRL, "jit", GTK_SIGNAL_FUNC(tb_jit));
650 +        
651 +        w_jit_fpu = make_checkbox(box, STR_JIT_FPU_CTRL, "jitfpu", GTK_SIGNAL_FUNC(tb_jit_fpu));
652 +        
653 +        // Translation cache size
654 +        static const combo_desc options[] = {
655 +                STR_JIT_CACHE_SIZE_2MB_LAB,
656 +                STR_JIT_CACHE_SIZE_4MB_LAB,
657 +                STR_JIT_CACHE_SIZE_8MB_LAB,
658 +                STR_JIT_CACHE_SIZE_16MB_LAB,
659 +                0
660 +        };
661 +        w_jit_cache_size = make_combobox(box, STR_JIT_CACHE_SIZE_CTRL, "jitcachesize", options);
662 +        
663 +        // Lazy translation cache invalidation
664 +        w_jit_lazy_flush = make_checkbox(box, STR_JIT_LAZY_CINV_CTRL, "jitlazyflush", GTK_SIGNAL_FUNC(tb_jit_lazy_flush));
665 +
666 +        // Follow constant jumps (inline basic blocks)
667 +        w_jit_follow_const_jumps = make_checkbox(box, STR_JIT_FOLLOW_CONST_JUMPS, "jitinline", GTK_SIGNAL_FUNC(tb_jit_follow_const_jumps));
668 +
669 +        set_jit_sensitive();
670 + #endif
671 + }
672 +
673 + /*
674   *  "SCSI" pane
675   */
676  
# Line 497 | Line 682 | static void read_scsi_settings(void)
682          for (int id=0; id<7; id++) {
683                  char prefs_name[32];
684                  sprintf(prefs_name, "scsi%d", id);
685 <                const char *str = gtk_entry_get_text(GTK_ENTRY(w_scsi[id]));
685 >                const char *str = get_file_entry_path(w_scsi[id]);
686                  if (str && strlen(str))
687                          PrefsReplaceString(prefs_name, str);
688                  else
# Line 515 | Line 700 | static void create_scsi_pane(GtkWidget *
700          for (int id=0; id<7; id++) {
701                  char prefs_name[32];
702                  sprintf(prefs_name, "scsi%d", id);
703 <                w_scsi[id] = make_entry(box, STR_SCSI_ID_0 + id, prefs_name);
703 >                w_scsi[id] = make_file_entry(box, STR_SCSI_ID_0 + id, prefs_name);
704          }
705   }
706  
# Line 541 | Line 726 | static GtkWidget *l_fbdev_name, *l_fbdev
726   static char fbdev_name[256];
727   #endif
728  
729 + static GtkWidget *w_dspdevice_file, *w_mixerdevice_file;
730 +
731   // Hide/show graphics widgets
732   static void hide_show_graphics_widgets(void)
733   {
# Line 587 | Line 774 | static void mn_30hz(...) {PrefsReplaceIn
774   static void mn_60hz(...) {PrefsReplaceInt32("frameskip", 1);}
775   static void mn_dynamic(...) {PrefsReplaceInt32("frameskip", 0);}
776  
777 + // Set sensitivity of widgets
778 + static void set_graphics_sensitive(void)
779 + {
780 +        const bool sound_enabled = !PrefsFindBool("nosound");
781 +        gtk_widget_set_sensitive(w_dspdevice_file, sound_enabled);
782 +        gtk_widget_set_sensitive(w_mixerdevice_file, sound_enabled);
783 + }
784 +
785   // "Disable Sound Output" button toggled
786   static void tb_nosound(GtkWidget *widget)
787   {
788          PrefsReplaceBool("nosound", GTK_TOGGLE_BUTTON(widget)->active);
789 +        set_graphics_sensitive();
790   }
791  
792   // Read graphics preferences
# Line 645 | Line 841 | static void read_graphics_settings(void)
841                          return;
842          }
843          PrefsReplaceString("screen", pref);
844 +
845 + #ifdef ENABLE_FBDEV_DGA
846 +        str = get_file_entry_path(w_fbdevice_file);
847 +        if (str && strlen(str))
848 +                PrefsReplaceString("fbdevicefile", str);
849 +        else
850 +                PrefsRemoveItem("fbdevicefile");
851 + #endif
852 +        PrefsReplaceString("dsp", get_file_entry_path(w_dspdevice_file));
853 +        PrefsReplaceString("mixer", get_file_entry_path(w_mixerdevice_file));
854   }
855  
856   // Create "Graphics/Sound" pane
# Line 760 | Line 966 | static void create_graphics_pane(GtkWidg
966          gtk_entry_set_text(GTK_ENTRY(w_fbdev_name), fbdev_name);
967          gtk_table_attach(GTK_TABLE(table), w_fbdev_name, 1, 2, 4, 5, (GtkAttachOptions)0, (GtkAttachOptions)0, 4, 4);
968  
969 <        w_fbdevice_file = make_entry(box, STR_FBDEVICE_FILE_CTRL, "fbdevicefile");
969 >        w_fbdevice_file = make_file_entry(box, STR_FBDEVICE_FILE_CTRL, "fbdevicefile");
970   #endif
971  
972          make_separator(box);
973          make_checkbox(box, STR_NOSOUND_CTRL, "nosound", GTK_SIGNAL_FUNC(tb_nosound));
974 +        w_dspdevice_file = make_file_entry(box, STR_DSPDEVICE_FILE_CTRL, "dsp");
975 +        w_mixerdevice_file = make_file_entry(box, STR_MIXERDEVICE_FILE_CTRL, "mixer");
976 +
977 +        set_graphics_sensitive();
978  
979          hide_show_graphics_widgets();
980   }
# Line 798 | Line 1008 | static void mn_wheel_cursor(...) {PrefsR
1008   // Read settings from widgets and set preferences
1009   static void read_input_settings(void)
1010   {
1011 <        const char *str = gtk_entry_get_text(GTK_ENTRY(w_keycode_file));
1011 >        const char *str = get_file_entry_path(w_keycode_file);
1012          if (str && strlen(str))
1013                  PrefsReplaceString("keycodefile", str);
1014          else
# Line 816 | Line 1026 | static void create_input_pane(GtkWidget
1026          box = make_pane(top, STR_INPUT_PANE_TITLE);
1027  
1028          make_checkbox(box, STR_KEYCODES_CTRL, "keycodes", GTK_SIGNAL_FUNC(tb_keycodes));
1029 <        w_keycode_file = make_entry(box, STR_KEYCODE_FILE_CTRL, "keycodefile");
1029 >        w_keycode_file = make_file_entry(box, STR_KEYCODE_FILE_CTRL, "keycodefile");
1030  
1031          make_separator(box);
1032  
# Line 964 | Line 1174 | static GList *add_ether_names(void)
1174                  }
1175                  close(s);
1176          }
1177 + #ifdef HAVE_SLIRP
1178 +        static char s_slirp[] = "slirp";
1179 +        glist = g_list_append(glist, s_slirp);
1180 + #endif
1181          if (glist)
1182                  g_list_sort(glist, gl_str_cmp);
1183          else
# Line 1056 | Line 1270 | static void create_serial_pane(GtkWidget
1270   static GtkObject *w_ramsize_adj;
1271   static GtkWidget *w_rom_file;
1272  
1273 + // "Ignore SEGV" button toggled
1274 + #ifdef HAVE_SIGSEGV_SKIP_INSTRUCTION
1275 + static void tb_ignoresegv(GtkWidget *widget)
1276 + {
1277 +        PrefsReplaceBool("ignoresegv", GTK_TOGGLE_BUTTON(widget)->active);
1278 + }
1279 + #endif
1280 +
1281   // Model ID selected
1282   static void mn_modelid_5(...) {PrefsReplaceInt32("modelid", 5);}
1283   static void mn_modelid_14(...) {PrefsReplaceInt32("modelid", 14);}
# Line 1072 | Line 1294 | static void read_memory_settings(void)
1294   {
1295          PrefsReplaceInt32("ramsize", int(GTK_ADJUSTMENT(w_ramsize_adj)->value) << 20);
1296  
1297 <        const char *str = gtk_entry_get_text(GTK_ENTRY(w_rom_file));
1297 >        const char *str = get_file_entry_path(w_rom_file);
1298          if (str && strlen(str))
1299                  PrefsReplaceString("rom", str);
1300          else
# Line 1157 | Line 1379 | static void create_memory_pane(GtkWidget
1379          make_option_menu(box, STR_CPU_CTRL, cpu_options, active);
1380   #endif
1381  
1382 <        w_rom_file = make_entry(box, STR_ROM_FILE_CTRL, "rom");
1382 >        w_rom_file = make_file_entry(box, STR_ROM_FILE_CTRL, "rom");
1383 >
1384 > #ifdef HAVE_SIGSEGV_SKIP_INSTRUCTION
1385 >        make_checkbox(box, STR_IGNORESEGV_CTRL, "ignoresegv", GTK_SIGNAL_FUNC(tb_ignoresegv));
1386 > #endif
1387   }
1388  
1389  
# Line 1173 | Line 1399 | static void read_settings(void)
1399          read_input_settings();
1400          read_serial_settings();
1401          read_memory_settings();
1402 +        read_jit_settings();
1403   }

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines