Probably supersedes #16, but we should consider switching to the notification API for notifications from other users instead of the popup and annoying chime.
The popups will still be used for responses to user interaction (e.g. "you just posted a comment" etc.).
Probably supersedes #16, but we should consider switching to the notification API for notifications from other users instead of the popup and annoying chime.
The popups will still be used for responses to user interaction (e.g. "you just posted a comment" etc.).