minor headlines select/deselect glitches fixes

functions.js

@@ -184,7 +184,6 @@ function cleanSelected(element) {
 	for (i = 0; i < content.rows.length; i++) {
 		content.rows[i].className = content.rows[i].className.replace("Selected", "");
 	}
-
 }
 
 function getVisibleUnreadHeadlines() {
@@ -242,6 +241,12 @@ function markHeadline(id) {
 			row.className = row.className = "Active";
 		}
 		
+		var check = document.getElementById("RCHK-" + id);
+
+		if (check) {
+			check.checked = true;
+		}
+
 		row.className = row.className + "Selected"; 
 		
 	}

viewfeed.js

@@ -48,11 +48,11 @@ function view(id, feed_id) {
 
 	var content = m_document.getElementById("content-frame");
 
-	if (content) {
-		content.src = "backend.php?op=view&id=" + param_escape(id) +
-			"&feed=" + param_escape(feed_id);
-		markHeadline(active_post_id);
-	}
+	content.src = "backend.php?op=view&id=" + param_escape(id) +
+		"&feed=" + param_escape(feed_id);
+
+	selectTableRowsByIdPrefix('headlinesList', 'RROW-', 'RCHK-', false);
+	markHeadline(active_post_id);
 
 }