Index: wp-admin/js/edit-comments.js
===================================================================
--- wp-admin/js/edit-comments.js	(revision 8780)
+++ wp-admin/js/edit-comments.js	(working copy)
@@ -200,6 +211,10 @@
 			.animate( { backgroundColor:"transparent" }, 600 );
 		
 		setCommentsList();
+		
+		// show things that should be visible, hide what should be hidden
+		jQuery('.hide-if-no-js').removeClass('hide-if-no-js');
+		jQuery('.hide-if-js').hide();
 	},
 
 	error : function(r) {