viewfeed: try to prevent dupe headlines from being loaded in the buffer

diff --git a/viewfeed.js b/viewfeed.js
index d8406f45483b8ec5adaff5c51e91f75fd09f075e..c36b06a618593d270e15becb3b25d31135a23248 100644 (file)
--- a/viewfeed.js
+++ b/viewfeed.js
@@ -96,8 +96,10 @@ function headlines_callback2(transport, offset, background) {
                                                c.domNode.removeChild(hsp);
 
                                        $$("#headlines-tmp > div").each(function(row) {
-                                               row.style.display = 'none';
-                                               c.domNode.appendChild(row);
+                                               if ($$("#headlines-frame DIV[id="+row.id+"]").length == 0) {
+                                                       row.style.display = 'none';
+                                                       c.domNode.appendChild(row);
+                                               }
                                        });
 
                                        if (!hsp) hsp = new Element("DIV", {"id": "headlines-spacer"});