branch: externals/crdt commit b8cd4618ca691a0df3466b0f7cfbb10663afdbd3 Author: Qiantan Hong <qh...@mit.edu> Commit: Qiantan Hong <qh...@mit.edu>
Minor improvements --- crdt.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crdt.el b/crdt.el index 9b33c83..8405a73 100644 --- a/crdt.el +++ b/crdt.el @@ -394,7 +394,7 @@ to avoid recusive calling of CRDT synchronization functions.") (setq tabulated-list-format [("Session Name" 15 t) ("Role" 7 t) ("My Name" 15 t) - ("Buffers" 15 t) + ("Buffers" 30 t) ("Users" 15 t)])) (defun crdt-list-sessions (&optional crdt-buffer display-buffer) @@ -1329,7 +1329,7 @@ Disconnect if it's a client session, or stop serving if it's a server session." (when (if (and crdt-confirm-stop-session (crdt--server-p) crdt--network-clients) - (yes-or-no-p "Stopping the session will disconnect every client, proceed? ") + (yes-or-no-p "There are clients connected to this session, disconnect them and stop the session anyway? ") t) (dolist (client crdt--network-clients) (when (process-live-p client)