--- 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; }