--- gui-file.c.orig	2003-08-26 10:14:43.000000000 +0900
+++ gui-file.c	2003-09-14 20:54:34.000000000 +0900
@@ -63,6 +63,8 @@
 {
 	GList *l;
 	GtkMenu *menu;
+	GList *remove_fs_list = NULL;
+	GList *m;
 
 	/* Make format chooser */
 	menu = GTK_MENU (gtk_menu_new ());
@@ -80,8 +82,10 @@
 			FileSaveScope save_scope;
 
 			save_scope = gnm_file_saver_get_save_scope (saver);
-			if (save_scope == FILE_SAVE_RANGE) 
+			if (save_scope == FILE_SAVE_RANGE) {
+				remove_fs_list = g_list_prepend(remove_fs_list, saver);
 				continue;
+			}
 			descr = gnm_file_saver_get_description (saver);
 		}
 		item = gtk_menu_item_new_with_label (descr);
@@ -90,6 +94,12 @@
 	}
 	gtk_option_menu_set_menu (omenu, GTK_WIDGET (menu));
 
+	for (l = remove_fs_list; l != NULL; l = l->next) {
+		m = g_list_find(list, GNM_FILE_SAVER(l->data));
+		list = g_list_remove_link(list, m);
+		g_list_free_1(m);
+	}
+
 	return (GTK_WIDGET (omenu));
 }