Index: edit-comments-full.php
===================================================================
--- edit-comments-full.php	(revision 4608)
+++ edit-comments-full.php	(working copy)
@@ -172,7 +172,7 @@
 		if( !empty( $_POST['Approve'] ) ) {
 			$wpdb->query("UPDATE $tablecomments SET comment_approved = 1 WHERE comment_ID = $comment"); 
 		} else {
-			$wpdb->query("DELETE FROM $tablecomments WHERE comment_ID = $comment");
+			wp_set_comment_status($comment, "delete");
 		}
 	 ++$i;
 	 endif;
