diff options
| author | 2014-09-18 15:42:00 +0200 | |
|---|---|---|
| committer | 2014-09-18 15:42:00 +0200 | |
| commit | 0947b780c94da2761180387e51ff17940f0080cb (patch) | |
| tree | 62fd182875f225da752e5f6bca26465f6da8914b /p/scripts | |
| parent | 70df99c1fcd88b30a6a9d71954af1e31dfade489 (diff) | |
| parent | ca74b2fca3711ef80542cc69269b2d9a654e3e5a (diff) | |
Merge branch 'dev' of github.com:marienfressinaud/FreshRSS into dev
Diffstat (limited to 'p/scripts')
| -rw-r--r-- | p/scripts/main.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/p/scripts/main.js b/p/scripts/main.js index 01bd0c734..2650d6045 100644 --- a/p/scripts/main.js +++ b/p/scripts/main.js @@ -866,6 +866,12 @@ function notifs_html5_show(nb) { notification.onclick = function() { window.location.reload(); } + + if (html5_notif_timeout !== 0){ + setTimeout(function() { + notification.close(); + }, html5_notif_timeout * 1000); + } } function init_notifs_html5() { |
