I haven't used it so I can't say for sure, but I think you might be able to
use channels for realtime notifications to show who else is editing the
page at any moment. I guess this would be a more elegant solution in the
long run.
On Monday, July 25, 2016 at 3:51:36 AM UTC-4, Angelo Dini wrote:
Extract from the initial Pull Request and Issue:
It would be really great if we can provide visual feedback on who is
viewing or editing the current page. The locking/unlocking mechanics could
be introduced in a later step, with more discussions and feedback
beforehand. We discussed the visual
