return 0;
});
+ var all_articles = find_feed(feeds, -4);
+
+ update_title(all_articles.unread);
+
last_feeds = feeds;
redraw_feedlist(feeds);
exception_error("feed_mo", e);
}
}
+
+function update_title(unread) {
+ try {
+ document.title = "Tiny Tiny RSS";
+
+ if (unread > 0)
+ document.title += " (" + unread + ")";
+
+ } catch (e) {
+ exception_error("update_title", e);
+ }
+}
+
<html>
<head>
- <title>Tiny Tiny Digest</title>
+ <title>Tiny Tiny RSS</title>
<link rel="stylesheet" type="text/css" href="digest.css?<?php echo $dt_add ?>"/>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>