call update_all_comments() from headlines callback

diff --git a/viewfeed.js b/viewfeed.js
index 838f3b0e594b575a2ffff9478ec8847982511aaf..66dc877816ee1b2f7d6ec2a43e3e1384e1d0fe97 100644 (file)
--- a/viewfeed.js
+++ b/viewfeed.js
@@ -7,6 +7,7 @@ function headlines_callback() {
                debug("headlines_callback");
                var f = document.getElementById("headlines-frame");
                f.innerHTML = xmlhttp.responseText;
+               update_all_counters();
        }
 }