Improve web push notifications
- Respect notifications filtering settings
- Move web push notifications specific code from
main.js
tolib/push_notifications_plugin.js
Probably should close #231 (closed)
main.js
to lib/push_notifications_plugin.js
Probably should close #231 (closed)