[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Question collaborative editing - Wikipedia reference
From: |
Eli Zaretskii |
Subject: |
Re: Question collaborative editing - Wikipedia reference |
Date: |
Sun, 11 Oct 2020 21:21:51 +0300 |
> From: Qiantan Hong <qhong@mit.edu>
> CC: "joakim@verona.se" <joakim@verona.se>, Yuan Fu <casouri@gmail.com>,
> Fermin
> <fmfs@posteo.net>, Jean Louis <bugs@gnu.support>,
> Caio Henrique
> <caiohcs0@gmail.com>, Ergus <spacibba@aol.com>,
> Noam Postavsky
> <npostavs@gmail.com>, Karl Fogel <kfogel@red-bean.com>,
> Stefan Monnier
> <monnier@iro.umontreal.ca>,
> Eli Zaretskii <eliz@gnu.org>, Emacs developers
> <emacs-devel@gnu.org>
> Date: Sun, 11 Oct 2020 17:49:44 +0000
>
> - what’s a reasonable way to decide what overlays to sync?
> I’m currently deciding it based on the command that create the overlay
> (only overlay created during executing a customizable set of commands
> are tracked). Is there better way?
> - similar question to text property.
Don't insert-in-front-hooks and insert-behind-hooks provide the way to
know which overlays and text properties changed?
- Re: Question collaborative editing - Wikipedia reference, (continued)
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/06
- Re: Question collaborative editing - Wikipedia reference, Yuan Fu, 2020/10/08
- Re: Question collaborative editing - Wikipedia reference, Yuan Fu, 2020/10/08
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/08
- Re: Question collaborative editing - Wikipedia reference, Yuan Fu, 2020/10/08
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, joakim, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, Joe Corneli, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/11
- Re: Question collaborative editing - Wikipedia reference,
Eli Zaretskii <=
- 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, 2020/10/09