X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.c;h=35749fcd4a6f7e03cb511e5dbca871ce16e59190;hb=020c7feaeb2f56ae271c51381798f90c71a7e922;hp=c3c8cf2b42871da877c5adf8606e7fd00b8575eb;hpb=68f08c4bb53fcde16035b622bdb6e9529f9cf3ae;p=pspp-builds.git

diff --git a/src/ui/gui/syntax-editor.c b/src/ui/gui/syntax-editor.c
index c3c8cf2b..35749fcd 100644
--- a/src/ui/gui/syntax-editor.c
+++ b/src/ui/gui/syntax-editor.c
@@ -490,8 +490,6 @@ load_editor_from_file (struct syntax_editor *se,
   gtk_text_buffer_insert (buffer, &iter, text, -1);
 
 
-
-
   window_set_name_from_filename ((struct editor_window *)se, filename);
   gtk_text_buffer_set_modified (buffer, FALSE);
 
@@ -535,18 +533,20 @@ open_syntax_window (GtkMenuItem *menuitem, gpointer parent)
       struct syntax_editor *se = (struct syntax_editor *)
 	window_create (WINDOW_SYNTAX, file_name);
 
-      load_editor_from_file (se, file_name, NULL);
-
+      if ( load_editor_from_file (se, file_name, NULL) )
 #if RECENT_LISTS_AVAILABLE
       {
 	GtkRecentManager *manager = gtk_recent_manager_get_default();
 	gchar *uri = g_filename_to_uri (file_name, NULL, NULL);
 
+	gtk_recent_manager_remove_item (manager, uri, NULL);
 	if ( ! gtk_recent_manager_add_item (manager, uri))
 	  g_warning ("Could not add item %s to recent list\n",uri);
 
 	g_free (uri);
       }
+#else
+      ;
 #endif
 
     }