diff options
| author | 2017-02-25 10:20:59 +0100 | |
|---|---|---|
| committer | 2017-02-25 10:20:59 +0100 | |
| commit | 2e871a0adf131f53dcf345ad2dda73bdf7c1a2c9 (patch) | |
| tree | 2233e1528417ab7860dd3fe8d7a3823d964ea06f /p | |
| parent | 648fcb63b5170d07ad6d157249be398912da658f (diff) | |
| parent | 3684d201bda997fdbfd4460dae92100ee47dd7ef (diff) | |
Merge branch 'dev' into feature/username-in-cli
Diffstat (limited to 'p')
| -rw-r--r-- | p/scripts/main.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/p/scripts/main.js b/p/scripts/main.js index 14e0c5be5..ff1753b5f 100644 --- a/p/scripts/main.js +++ b/p/scripts/main.js @@ -935,6 +935,8 @@ function notifs_html5_show(nb) { notification.onclick = function() { window.location.reload(); + window.focus(); + notification.close(); }; if (context.html5_notif_timeout !== 0) { |
