prefetch topmost articles on headlines load

backend.php

@@ -195,11 +195,19 @@
 
 		print "<headlines id=\"$feed\"><![CDATA[";
 
-		outputHeadlinesList($link, $feed, $subop, $view_mode, $limit, $cat_view,
+		$topmost_article_ids = outputHeadlinesList($link, $feed, $subop, 
-			$next_unread_feed, $offset);
+			$view_mode, $limit, $cat_view, $next_unread_feed, $offset);
 
 		print "]]></headlines>";
 
+		if (is_array($topmost_article_ids)) {
+			print "<articles>";
+			foreach ($topmost_article_ids as $id) {
+				outputArticleXML($link, $id, $feed, false);
+			}
+			print "</articles>";
+		}
+
 		print "<counters>";
 		getAllCounters($link, $omode);
 		print "</counters>";

functions.php

@@ -3513,6 +3513,8 @@
 	function outputHeadlinesList($link, $feed, $subop, $view_mode, $limit, $cat_view,
 					$next_unread_feed, $offset) {
 
+		$topmost_article_ids = array();
+
 		if (!$offset) $offset = 0;
 
 		if ($subop == "undefined") $subop = "";
@@ -3627,7 +3629,11 @@
 	
 				$id = $line["id"];
 				$feed_id = $line["feed_id"];
-	
+
+				if (count($topmost_article_ids) < 5) {
+					array_push($topmost_article_ids, $id);
+				}
+
 				if ($line["last_read"] == "" && 
 						($line["unread"] != "t" && $line["unread"] != "1")) {
 	
@@ -3801,6 +3807,6 @@
 
 		print "</div>";
 
-
+		return $topmost_article_ids;
 	}
 ?>

viewfeed.js

@@ -44,9 +44,18 @@ function headlines_callback() {
 		if (xmlhttp.responseXML) {
 			var headlines = xmlhttp.responseXML.getElementsByTagName("headlines")[0];
 			var counters = xmlhttp.responseXML.getElementsByTagName("counters")[0];
+			var articles = xmlhttp.responseXML.getElementsByTagName("article");
 
 			f.innerHTML = headlines.firstChild.nodeValue;
 
+			if (articles) {
+				for (var i = 0; i < articles.length; i++) {
+					var a_id = articles[i].getAttribute("id");
+					debug("found id: " + a_id);
+					cache_inject(a_id, articles[i].firstChild.nodeValue);
+				}
+			}
+
 			if (counters) {
 				debug("parsing piggybacked counters: " + counters);
 				parse_counters(counters, false);