[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question collaborative editing - Wikipedia reference
From: |
Jean Louis |
Subject: |
Re: Question collaborative editing - Wikipedia reference |
Date: |
Fri, 9 Oct 2020 20:46:18 +0300 |
User-agent: |
Mutt/1.14.0 (2020-05-02) |
* Qiantan Hong <qhong@mit.edu> [2020-10-09 10:10]:
> Here is the current version, I feel like a relatively complete
> set of essential features is implemented now.
> Changes:
> - Unicode support
> - fixed cursor behavior
> - M-x crdt-list-users displays a list of active users. Press enter
> to go to the position of that user’s cursor
Thank you for improvements.
Try to see this video, there are 2 issues that happened, at about 2:00
you will see first line was not synchronized, but later nothing was
synchronized at all
https://gnu.support/images/2020/10/2020-10-09/crdt-bug.ogv
Jean
- Re: Question collaborative editing - Wikipedia reference, (continued)
- Re: Question collaborative editing - Wikipedia reference, Eli Zaretskii, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference, Eli Zaretskii, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference, Eli Zaretskii, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference, Eli Zaretskii, 2020/10/12
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/12
- Re: Question collaborative editing - Wikipedia reference, Yuan Fu, 2020/10/13
- Re: Question collaborative editing - Wikipedia reference, Joe Corneli, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference,
Jean Louis <=
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, Karl Fogel, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/10
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, Jean Louis, 2020/10/20
- Re: Question collaborative editing - Wikipedia reference, Ergus, 2020/10/20
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/20
- Re: Question collaborative editing - Wikipedia reference, Jean Louis, 2020/10/26
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/26
- Re: Question collaborative editing - Wikipedia reference, Mathias Dahl, 2020/10/27