3 ms·

Collaborative general purpose editors nowadays show one user's text selection to other users, so this is straightforward to implement.