src/prefs.c

changeset 986
699ffd08e37f
parent 970
713051f9e497
child 1002
0c559888b1fb
--- a/src/prefs.c	Fri Oct 13 18:17:50 2000 +0000
+++ b/src/prefs.c	Fri Oct 13 18:21:15 2000 +0000
@@ -474,6 +474,7 @@
 		gtk_tree_clear_items(GTK_TREE(ptree), 0, -1);
                 build_permit_tree();
                 serv_save_config();
+		do_export(0, 0);
 	}
 }
 
@@ -510,6 +511,8 @@
 
 static void permdest(GtkWidget *m, gpointer n)
 {
+	do_export(0, 0);
+	serv_save_config();
 	gtk_widget_destroy(permtree);
 	permtree = NULL;
 }

mercurial