branch: externals/crdt commit 28c5f6bd0ea24fccbab7bde5d29d3ee27a74033e Author: Qiantan Hong <qh...@alum.mit.edu> Commit: Qiantan Hong <qh...@alum.mit.edu>
Also `crdt--refresh-users-maybe' when `crdt-stop-follow' --- crdt.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/crdt.el b/crdt.el index c24f916487..7a40e0a95f 100644 --- a/crdt.el +++ b/crdt.el @@ -1006,7 +1006,8 @@ user menu almost always indicate supposed changes in buffer menu." (crdt--contact-metadata-name (gethash (crdt--session-follow-user-id crdt--session) (crdt--session-contact-table crdt--session)))) - (setf (crdt--session-follow-user-id crdt--session) nil)) + (setf (crdt--session-follow-user-id crdt--session) nil) + (crdt--refresh-users-maybe)) (defun crdt--kill-buffer-hook () "Kill buffer hook for CRDT shared buffers.