Right now, a lot of dynamic content is rendered by Django at page load time. It would be really nice for comments and sync state to be updated in real time on the page as other users perform said actions. We already do some things with WebSockets for notifications; I suggest adding another WebSocket dedicated for this purpose, and adding the logic to render this content upon receiving WebSocket messages.
Sync state will require tapping into some events Django-side, but we already do this for notifications (I think?) so it won't be much extra work.
Right now, a lot of dynamic content is rendered by Django at page load time. It would be really nice for comments and sync state to be updated in real time on the page as other users perform said actions. We already do some things with WebSockets for notifications; I suggest adding another WebSocket dedicated for this purpose, and adding the logic to render this content upon receiving WebSocket messages.
Sync state will require tapping into some events Django-side, but we already do this for notifications (I think?) so it won't be much extra work.