diff options
| -rwxr-xr-x | js/viewfeed.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/js/viewfeed.js b/js/viewfeed.js index 075b14169..ee994c942 100755 --- a/js/viewfeed.js +++ b/js/viewfeed.js @@ -793,7 +793,7 @@ function getSelectedArticleIds2() { if (getActiveArticleId()) rv.push(getActiveArticleId()); - return rv; + return rv.uniq(); } function getLoadedArticleIds() { @@ -1130,6 +1130,8 @@ function setActiveArticleId(id) { PluginHost.run(PluginHost.HOOK_ARTICLE_SET_ACTIVE, _active_article_id); } + + updateSelectedPrompt(); } function getActiveArticleId() { |