[PATCH] SHIFT + Del should delete a file without putting it in the trash

[Nelson Benítez <gnel cenobioracing com>]

The bug[1] is really about SHIFT+DEL to work even if you have the ui
option OFF. The attached patch fixes it.

[1] http://bugzilla.gnome.org/show_bug.cgi?id=101261

--- src/file-manager/fm-directory-view.c	2005-11-20 21:08:59.000000000 +0000
+++ src/file-manager/fm-directory-view.mod.c	2005-11-20 21:10:25.000000000 +0000
@@ -936,9 +936,6 @@
 action_delete_callback (GtkAction *action,
 			gpointer callback_data)
 {
-	if (!show_delete_command_auto_value) {
-		return;
-	}
         delete_selected_files (FM_DIRECTORY_VIEW (callback_data));
 }
 
@@ -6975,8 +6972,8 @@
 		g_object_set (action,
 			      "label", _("_Delete"),
 			      NULL);
-		gtk_action_set_sensitive (action, can_delete_files);
 	}
+	gtk_action_set_sensitive (action, can_delete_files);
 	
 	action = gtk_action_group_get_action (view->details->dir_action_group,
 					      FM_ACTION_DUPLICATE);