tAdded option to change the web browser used to display help pages etc. - vacci… | |
git clone git://src.adamsgaard.dk/vaccinewars | |
Log | |
Files | |
Refs | |
README | |
LICENSE | |
--- | |
commit 2791a7ff2fe9a96a509eba2bb1a45c29270e3b0b | |
parent 7691f59fe94ef8c4ed07493a4a5f1259b8a868ba | |
Author: Ben Webb <[email protected]> | |
Date: Mon, 8 Jul 2002 12:53:50 +0000 | |
Added option to change the web browser used to display help pages etc. | |
Diffstat: | |
M src/gui_client/optdialog.c | 10 +++++++++- | |
1 file changed, 9 insertions(+), 1 deletion(-) | |
--- | |
diff --git a/src/gui_client/optdialog.c b/src/gui_client/optdialog.c | |
t@@ -738,7 +738,7 @@ void OptDialog(GtkWidget *widget, gpointer data) | |
notebook = gtk_notebook_new(); | |
- table = gtk_table_new(7, 3, FALSE); | |
+ table = gtk_table_new(8, 3, FALSE); | |
gtk_table_set_row_spacings(GTK_TABLE(table), 5); | |
gtk_table_set_col_spacings(GTK_TABLE(table), 5); | |
t@@ -788,6 +788,14 @@ void OptDialog(GtkWidget *widget, gpointer data) | |
entry = NewConfigEntry("Names.Bitches"); | |
gtk_table_attach_defaults(GTK_TABLE(table), entry, 1, 3, 6, 7); | |
+#ifndef CYGWIN | |
+ label = gtk_label_new(_("Web browser")); | |
+ gtk_table_attach(GTK_TABLE(table), label, 0, 1, 7, 8, | |
+ GTK_SHRINK, GTK_SHRINK, 0, 0); | |
+ entry = NewConfigEntry("WebBrowser"); | |
+ gtk_table_attach_defaults(GTK_TABLE(table), entry, 1, 3, 7, 8); | |
+#endif | |
+ | |
gtk_container_set_border_width(GTK_CONTAINER(table), 7); | |
label = gtk_label_new(_("General")); | |
gtk_notebook_append_page(GTK_NOTEBOOK(notebook), table, label); |