--- BasiliskII/src/Unix/prefs_editor_gtk.cpp	2001/02/02 20:52:57	1.15
+++ BasiliskII/src/Unix/prefs_editor_gtk.cpp	2002/09/17 16:06:37	1.23
@@ -1,7 +1,7 @@
 /*
  *  prefs_editor_gtk.cpp - Preferences editor, Unix implementation using GTK+
  *
- *  Basilisk II (C) 1997-2001 Christian Bauer
+ *  Basilisk II (C) 1997-2002 Christian Bauer
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -28,6 +28,10 @@
 #include <net/if.h>
 #include <net/if_arp.h>
 
+#ifdef HAVE_GNOMEUI
+#include <gnome.h>
+#endif
+
 #include "user_strings.h"
 #include "version.h"
 #include "cdrom.h"
@@ -48,6 +52,7 @@ static void create_graphics_pane(GtkWidg
 static void create_input_pane(GtkWidget *top);
 static void create_serial_pane(GtkWidget *top);
 static void create_memory_pane(GtkWidget *top);
+static void create_jit_pane(GtkWidget *top);
 static void read_settings(void);
 
 
@@ -60,6 +65,10 @@ struct opt_desc {
 	GtkSignalFunc func;
 };
 
+struct combo_desc {
+	int label_id;
+};
+
 static void add_menu_item(GtkWidget *menu, int label_id, GtkSignalFunc func)
 {
 	GtkWidget *item = gtk_menu_item_new_with_label(GetString(label_id));
@@ -150,7 +159,7 @@ static GtkWidget *make_option_menu(GtkWi
 	return menu;
 }
 
-static GtkWidget *make_entry(GtkWidget *top, int label_id, const char *prefs_item)
+static GtkWidget *make_file_entry(GtkWidget *top, int label_id, const char *prefs_item, bool only_dirs = false)
 {
 	GtkWidget *box, *label, *entry;
 
@@ -162,16 +171,33 @@ static GtkWidget *make_entry(GtkWidget *
 	gtk_widget_show(label);
 	gtk_box_pack_start(GTK_BOX(box), label, FALSE, FALSE, 0);
 
-	entry = gtk_entry_new();
-	gtk_widget_show(entry);
 	const char *str = PrefsFindString(prefs_item);
 	if (str == NULL)
 		str = "";
+
+#ifdef HAVE_GNOMEUI
+	entry = gnome_file_entry_new(NULL, GetString(label_id));
+	if (only_dirs)
+		gnome_file_entry_set_directory(GNOME_FILE_ENTRY(entry), true);
+	gtk_entry_set_text(GTK_ENTRY(gnome_file_entry_gtk_entry(GNOME_FILE_ENTRY(entry))), str);
+#else
+	entry = gtk_entry_new();
 	gtk_entry_set_text(GTK_ENTRY(entry), str); 
+#endif
+	gtk_widget_show(entry);
 	gtk_box_pack_start(GTK_BOX(box), entry, TRUE, TRUE, 0);
 	return entry;
 }
 
+static char *get_file_entry_path(GtkWidget *entry)
+{
+#ifdef HAVE_GNOMEUI
+	return gnome_file_entry_get_full_path(GNOME_FILE_ENTRY(entry), false);
+#else
+	return gtk_entry_get_text(GTK_ENTRY(entry));
+#endif
+}
+
 static GtkWidget *make_checkbox(GtkWidget *top, int label_id, const char *prefs_item, GtkSignalFunc func)
 {
 	GtkWidget *button = gtk_check_button_new_with_label(GetString(label_id));
@@ -182,7 +208,37 @@ static GtkWidget *make_checkbox(GtkWidge
 	return button;
 }
 
+static GtkWidget *make_combobox(GtkWidget *top, int label_id, const char *prefs_item, const combo_desc *options)
+{
+	GtkWidget *box, *label, *combo;
+	char str[32];
+
+	box = gtk_hbox_new(FALSE, 4);
+	gtk_widget_show(box);
+	gtk_box_pack_start(GTK_BOX(top), box, FALSE, FALSE, 0);
+
+	label = gtk_label_new(GetString(label_id));
+	gtk_widget_show(label);
+	gtk_box_pack_start(GTK_BOX(box), label, FALSE, FALSE, 0);
 
+	GList *glist = NULL;
+	while (options->label_id) {
+		glist = g_list_append(glist, (void *)GetString(options->label_id));
+		options++;
+	}
+	
+	combo = gtk_combo_new();
+	gtk_widget_show(combo);
+	gtk_combo_set_popdown_strings(GTK_COMBO(combo), glist);
+	
+	sprintf(str, "%d", PrefsFindInt32(prefs_item));
+	gtk_entry_set_text(GTK_ENTRY(GTK_COMBO(combo)->entry), str);
+	gtk_box_pack_start(GTK_BOX(box), combo, TRUE, TRUE, 0);
+	
+	return combo;
+}
+
+ 
 /*
  *  Show preferences editor
  *  Returns true when user clicked on "Start", false otherwise
@@ -225,15 +281,59 @@ static void dl_quit(GtkWidget *dialog)
 // "About" selected
 static void mn_about(...)
 {
-	GtkWidget *dialog, *label, *button;
+	GtkWidget *dialog;
+
+#ifdef HAVE_GNOMEUI
+
+	char version[32];
+	sprintf(version, "Version %d.%d", VERSION_MAJOR, VERSION_MINOR);
+	const char *authors[] = {
+		"Christian Bauer",
+		"Orlando Bassotto",
+		"Gwenolé Beauchesne",
+		"Marc Chabanas",
+		"Marc Hellwig",
+		"Biill Huey",
+		"Brian J. Johnson",
+		"Jürgen Lachmann",
+		"Samuel Lander",
+		"David Lawrence",
+		"Lauri Pesonen",
+		"Bernd Schmidt",
+		"and others",
+		NULL
+	};
+	dialog = gnome_about_new(
+		"Basilisk II",
+		version,
+		"Copyright (C) 1997-2002 Christian Bauer",
+		authors,
+		"Basilisk II comes with ABSOLUTELY NO WARRANTY."
+		"This is free software, and you are welcome to redistribute it"
+		"under the terms of the GNU General Public License.",
+		NULL
+	);
+	gnome_dialog_set_parent(GNOME_DIALOG(dialog), GTK_WINDOW(win));
+
+#else
+
+	GtkWidget *label, *button;
 
-	char str[256];
-	sprintf(str, GetString(STR_ABOUT_TEXT1), VERSION_MAJOR, VERSION_MINOR);
-	strncat(str, "\n", 255);
-	strncat(str, GetString(STR_ABOUT_TEXT2), 255);
+	char str[512];
+	sprintf(str,
+		"Basilisk II\nVersion %d.%d\n\n"
+		"Copyright (C) 1997-2002 Christian Bauer et al.\n"
+		"E-mail: Christian.Bauer@uni-mainz.de\n"
+		"http://www.uni-mainz.de/~bauec002/B2Main.html\n\n"
+		"Basilisk II comes with ABSOLUTELY NO\n"
+		"WARRANTY. This is free software, and\n"
+		"you are welcome to redistribute it\n"
+		"under the terms of the GNU General\n"
+		"Public License.\n",
+		VERSION_MAJOR, VERSION_MINOR
+	);
 
 	dialog = gtk_dialog_new();
-	gtk_widget_set_usize(GTK_WIDGET(dialog), strlen(GetString(STR_ABOUT_TEXT2)) + 200, 120);
 	gtk_window_set_title(GTK_WINDOW(dialog), GetString(STR_ABOUT_TITLE));
 	gtk_container_border_width(GTK_CONTAINER(dialog), 5);
 	gtk_widget_set_uposition(GTK_WIDGET(dialog), 100, 150);
@@ -248,6 +348,9 @@ static void mn_about(...)
 	gtk_box_pack_start(GTK_BOX(GTK_DIALOG(dialog)->action_area), button, FALSE, FALSE, 0);
 	GTK_WIDGET_SET_FLAGS(button, GTK_CAN_DEFAULT);
 	gtk_widget_grab_default(button);
+
+#endif
+
 	gtk_widget_show(dialog);
 }
 
@@ -301,6 +404,7 @@ bool PrefsEditor(void)
 	create_input_pane(notebook);
 	create_serial_pane(notebook);
 	create_memory_pane(notebook);
+	create_jit_pane(notebook);
 
 	static const opt_desc buttons[] = {
 		{STR_START_BUTTON, GTK_SIGNAL_FUNC(cb_start)},
@@ -423,7 +527,7 @@ static void read_volumes_settings(void)
 		PrefsAddString("disk", str);
 	}
 
-	PrefsReplaceString("extfs", gtk_entry_get_text(GTK_ENTRY(w_extfs)));
+	PrefsReplaceString("extfs", get_file_entry_path(w_extfs));
 }
 
 // Create "Volumes" pane
@@ -444,7 +548,7 @@ static void create_volumes_pane(GtkWidge
 	gtk_signal_connect(GTK_OBJECT(volume_list), "select_row", GTK_SIGNAL_FUNC(cl_selected), NULL);
 	char *str;
 	int32 index = 0;
-	while ((str = (char *)PrefsFindString("disk", index++)) != NULL)
+	while ((str = const_cast<char *>(PrefsFindString("disk", index++))) != NULL)
 		gtk_clist_append(GTK_CLIST(volume_list), &str);
 	gtk_scrolled_window_add_with_viewport(GTK_SCROLLED_WINDOW(scroll), volume_list);
 	gtk_box_pack_start(GTK_BOX(box), scroll, TRUE, TRUE, 0);
@@ -459,7 +563,7 @@ static void create_volumes_pane(GtkWidge
 	make_button_box(box, 0, buttons);
 	make_separator(box);
 
-	w_extfs = make_entry(box, STR_EXTFS_CTRL, "extfs");
+	w_extfs = make_file_entry(box, STR_EXTFS_CTRL, "extfs", true);
 
 	static const opt_desc options[] = {
 		{STR_BOOT_ANY_LAB, GTK_SIGNAL_FUNC(mn_boot_any)},
@@ -478,6 +582,84 @@ static void create_volumes_pane(GtkWidge
 
 
 /*
+ *  "JIT Compiler" pane
+ */
+
+static GtkWidget *w_jit_fpu;
+static GtkWidget *w_jit_atraps;
+static GtkWidget *w_jit_cache_size;
+static GtkWidget *w_jit_lazy_flush;
+
+// Set sensitivity of widgets
+static void set_jit_sensitive(void)
+{
+	const bool jit_enabled = PrefsFindBool("jit");
+	gtk_widget_set_sensitive(w_jit_fpu, jit_enabled);
+	gtk_widget_set_sensitive(w_jit_cache_size, jit_enabled);
+	gtk_widget_set_sensitive(w_jit_lazy_flush, jit_enabled);
+}
+
+// "Use JIT Compiler" button toggled
+static void tb_jit(GtkWidget *widget)
+{
+	PrefsReplaceBool("jit", GTK_TOGGLE_BUTTON(widget)->active);
+	set_jit_sensitive();
+}
+
+// "Compile FPU Instructions" button toggled
+static void tb_jit_fpu(GtkWidget *widget)
+{
+	PrefsReplaceBool("jitfpu", GTK_TOGGLE_BUTTON(widget)->active);
+}
+
+// "Lazy translation cache invalidation" button toggled
+static void tb_jit_lazy_flush(GtkWidget *widget)
+{
+	PrefsReplaceBool("jitlazyflush", GTK_TOGGLE_BUTTON(widget)->active);
+}
+
+// Read settings from widgets and set preferences
+static void read_jit_settings(void)
+{
+#if USE_JIT
+	bool jit_enabled = PrefsFindBool("jit");
+	if (jit_enabled) {
+		const char *str = gtk_entry_get_text(GTK_ENTRY(GTK_COMBO(w_jit_cache_size)->entry));
+		PrefsReplaceInt32("jitcachesize", atoi(str));
+	}
+#endif
+}
+
+// Create "JIT Compiler" pane
+static void create_jit_pane(GtkWidget *top)
+{
+#if USE_JIT
+	GtkWidget *box, *table, *label, *menu;
+	char str[32];
+	
+	box = make_pane(top, STR_JIT_PANE_TITLE);
+	make_checkbox(box, STR_JIT_CTRL, "jit", GTK_SIGNAL_FUNC(tb_jit));
+	
+	w_jit_fpu = make_checkbox(box, STR_JIT_FPU_CTRL, "jitfpu", GTK_SIGNAL_FUNC(tb_jit_fpu));
+	
+	// Translation cache size
+	static const combo_desc options[] = {
+		STR_JIT_CACHE_SIZE_2MB_LAB,
+		STR_JIT_CACHE_SIZE_4MB_LAB,
+		STR_JIT_CACHE_SIZE_8MB_LAB,
+		STR_JIT_CACHE_SIZE_16MB_LAB,
+		0
+	};
+	w_jit_cache_size = make_combobox(box, STR_JIT_CACHE_SIZE_CTRL, "jitcachesize", options);
+	
+	// Lazy translation cache invalidation
+	w_jit_lazy_flush = make_checkbox(box, STR_JIT_LAZY_CINV_CTRL, "jitlazyflush", GTK_SIGNAL_FUNC(tb_jit_lazy_flush));
+	
+	set_jit_sensitive();
+#endif
+}
+
+/*
  *  "SCSI" pane
  */
 
@@ -489,7 +671,7 @@ static void read_scsi_settings(void)
 	for (int id=0; id<7; id++) {
 		char prefs_name[32];
 		sprintf(prefs_name, "scsi%d", id);
-		const char *str = gtk_entry_get_text(GTK_ENTRY(w_scsi[id]));
+		const char *str = get_file_entry_path(w_scsi[id]);
 		if (str && strlen(str))
 			PrefsReplaceString(prefs_name, str);
 		else
@@ -507,7 +689,7 @@ static void create_scsi_pane(GtkWidget *
 	for (int id=0; id<7; id++) {
 		char prefs_name[32];
 		sprintf(prefs_name, "scsi%d", id);
-		w_scsi[id] = make_entry(box, STR_SCSI_ID_0 + id, prefs_name);
+		w_scsi[id] = make_file_entry(box, STR_SCSI_ID_0 + id, prefs_name);
 	}
 }
 
@@ -637,6 +819,14 @@ static void read_graphics_settings(void)
 			return;
 	}
 	PrefsReplaceString("screen", pref);
+
+#ifdef ENABLE_FBDEV_DGA
+	str = get_file_entry_path(w_fbdevice_file);
+	if (str && strlen(str))
+		PrefsReplaceString("fbdevicefile", str);
+	else
+		PrefsRemoveItem("fbdevicefile");
+#endif
 }
 
 // Create "Graphics/Sound" pane
@@ -752,7 +942,7 @@ static void create_graphics_pane(GtkWidg
 	gtk_entry_set_text(GTK_ENTRY(w_fbdev_name), fbdev_name); 
 	gtk_table_attach(GTK_TABLE(table), w_fbdev_name, 1, 2, 4, 5, (GtkAttachOptions)0, (GtkAttachOptions)0, 4, 4);
 
-	w_fbdevice_file = make_entry(box, STR_FBDEVICE_FILE_CTRL, "fbdevicefile");
+	w_fbdevice_file = make_file_entry(box, STR_FBDEVICE_FILE_CTRL, "fbdevicefile");
 #endif
 
 	make_separator(box);
@@ -790,7 +980,7 @@ static void mn_wheel_cursor(...) {PrefsR
 // Read settings from widgets and set preferences
 static void read_input_settings(void)
 {
-	const char *str = gtk_entry_get_text(GTK_ENTRY(w_keycode_file));
+	const char *str = get_file_entry_path(w_keycode_file);
 	if (str && strlen(str))
 		PrefsReplaceString("keycodefile", str);
 	else
@@ -808,7 +998,7 @@ static void create_input_pane(GtkWidget
 	box = make_pane(top, STR_INPUT_PANE_TITLE);
 
 	make_checkbox(box, STR_KEYCODES_CTRL, "keycodes", GTK_SIGNAL_FUNC(tb_keycodes));
-	w_keycode_file = make_entry(box, STR_KEYCODE_FILE_CTRL, "keycodefile");
+	w_keycode_file = make_file_entry(box, STR_KEYCODE_FILE_CTRL, "keycodefile");
 
 	make_separator(box);
 
@@ -845,7 +1035,23 @@ static void create_input_pane(GtkWidget
  *  "Serial/Network" pane
  */
 
-static GtkWidget *w_seriala, *w_serialb, *w_ether;
+static GtkWidget *w_seriala, *w_serialb, *w_ether, *w_udp_port;
+
+// Set sensitivity of widgets
+static void set_serial_sensitive(void)
+{
+#if SUPPORTS_UDP_TUNNEL
+	gtk_widget_set_sensitive(w_ether, !PrefsFindBool("udptunnel"));
+	gtk_widget_set_sensitive(w_udp_port, PrefsFindBool("udptunnel"));
+#endif
+}
+
+// "Tunnel AppleTalk over IP" button toggled
+static void tb_udptunnel(GtkWidget *widget)
+{
+	PrefsReplaceBool("udptunnel", GTK_TOGGLE_BUTTON(widget)->active);
+	set_serial_sensitive();
+}
 
 // Read settings from widgets and set preferences
 static void read_serial_settings(void)
@@ -863,6 +1069,10 @@ static void read_serial_settings(void)
 		PrefsReplaceString("ether", str);
 	else
 		PrefsRemoveItem("ether");
+
+#if SUPPORTS_UDP_TUNNEL
+	PrefsReplaceInt32("udpport", gtk_spin_button_get_value_as_int(GTK_SPIN_BUTTON(w_udp_port)));
+#endif
 }
 
 // Add names of serial devices
@@ -946,8 +1156,8 @@ static GList *add_ether_names(void)
 // Create "Serial/Network" pane
 static void create_serial_pane(GtkWidget *top)
 {
-	GtkWidget *box, *table, *label, *combo, *sep;
-	GList *glist = add_serial_names();
+	GtkWidget *box, *hbox, *table, *label, *combo, *sep;
+	GtkObject *adj;
 
 	box = make_pane(top, STR_SERIAL_NETWORK_PANE_TITLE);
 	table = make_table(box, 2, 4);
@@ -956,6 +1166,7 @@ static void create_serial_pane(GtkWidget
 	gtk_widget_show(label);
 	gtk_table_attach(GTK_TABLE(table), label, 0, 1, 0, 1, (GtkAttachOptions)0, (GtkAttachOptions)0, 4, 4);
 
+	GList *glist = add_serial_names();
 	combo = gtk_combo_new();
 	gtk_widget_show(combo);
 	gtk_combo_set_popdown_strings(GTK_COMBO(combo), glist);
@@ -998,6 +1209,25 @@ static void create_serial_pane(GtkWidget
 	gtk_entry_set_text(GTK_ENTRY(GTK_COMBO(combo)->entry), str); 
 	gtk_table_attach(GTK_TABLE(table), combo, 1, 2, 3, 4, (GtkAttachOptions)(GTK_FILL | GTK_EXPAND), (GtkAttachOptions)0, 4, 4);
 	w_ether = GTK_COMBO(combo)->entry;
+
+#if SUPPORTS_UDP_TUNNEL
+	make_checkbox(box, STR_UDPTUNNEL_CTRL, "udptunnel", GTK_SIGNAL_FUNC(tb_udptunnel));
+
+	hbox = gtk_hbox_new(FALSE, 4);
+	gtk_widget_show(hbox);
+	gtk_box_pack_start(GTK_BOX(box), hbox, FALSE, FALSE, 0);
+
+	label = gtk_label_new(GetString(STR_UDPPORT_CTRL));
+	gtk_widget_show(label);
+	gtk_box_pack_start(GTK_BOX(hbox), label, FALSE, FALSE, 0);
+
+	adj = gtk_adjustment_new(PrefsFindInt32("udpport"), 1, 65535, 1, 5, 0);
+	w_udp_port = gtk_spin_button_new(GTK_ADJUSTMENT(adj), 0.0, 0);
+	gtk_widget_show(w_udp_port);
+	gtk_box_pack_start(GTK_BOX(hbox), w_udp_port, FALSE, FALSE, 0);
+#endif
+
+	set_serial_sensitive();
 }
 
 
@@ -1008,6 +1238,14 @@ static void create_serial_pane(GtkWidget
 static GtkObject *w_ramsize_adj;
 static GtkWidget *w_rom_file;
 
+// "Ignore SEGV" button toggled
+#ifdef HAVE_SIGSEGV_SKIP_INSTRUCTION
+static void tb_ignoresegv(GtkWidget *widget)
+{
+	PrefsReplaceBool("ignoresegv", GTK_TOGGLE_BUTTON(widget)->active);
+}
+#endif
+
 // Model ID selected
 static void mn_modelid_5(...) {PrefsReplaceInt32("modelid", 5);}
 static void mn_modelid_14(...) {PrefsReplaceInt32("modelid", 14);}
@@ -1024,7 +1262,7 @@ static void read_memory_settings(void)
 {
 	PrefsReplaceInt32("ramsize", int(GTK_ADJUSTMENT(w_ramsize_adj)->value) << 20);
 
-	const char *str = gtk_entry_get_text(GTK_ENTRY(w_rom_file));
+	const char *str = get_file_entry_path(w_rom_file);
 	if (str && strlen(str))
 		PrefsReplaceString("rom", str);
 	else
@@ -1035,7 +1273,7 @@ static void read_memory_settings(void)
 // Create "Memory/Misc" pane
 static void create_memory_pane(GtkWidget *top)
 {
-	GtkWidget *box, *hbox, *vbox, *hbox2, *label, *scale, *menu;
+	GtkWidget *box, *hbox, *vbox, *hbox2, *label, *scale;
 
 	box = make_pane(top, STR_MEMORY_MISC_PANE_TITLE);
 
@@ -1109,7 +1347,11 @@ static void create_memory_pane(GtkWidget
 	make_option_menu(box, STR_CPU_CTRL, cpu_options, active);
 #endif
 
-	w_rom_file = make_entry(box, STR_ROM_FILE_CTRL, "rom");
+	w_rom_file = make_file_entry(box, STR_ROM_FILE_CTRL, "rom");
+
+#ifdef HAVE_SIGSEGV_SKIP_INSTRUCTION
+	make_checkbox(box, STR_IGNORESEGV_CTRL, "ignoresegv", GTK_SIGNAL_FUNC(tb_ignoresegv));
+#endif
 }
 
 
@@ -1125,4 +1367,5 @@ static void read_settings(void)
 	read_input_settings();
 	read_serial_settings();
 	read_memory_settings();
+	read_jit_settings();
 }