[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:56:07 +0300 |
> From: Qiantan Hong <qhong@mit.edu>
> CC: Joe Corneli <holtzermann17@gmail.com>,
> "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>,
> "Emacs
> developers" <emacs-devel@gnu.org>
> Date: Sun, 11 Oct 2020 18:26:25 +0000
>
> It does, but I don’t think it make sense to synchronize *every*
> overlay/text property changes. For example, syntax highlight
> can be done locally and doesn’t need to be synced over Internet.
> I’m using hightlight-line and highlight-parenthesis, those overlay don’t
> need to be synced as well. There has to be some customizable filtering
> (I was filtering based on what command created the overlays).
These hooks can do the filtering, no?
- Re: Question collaborative editing - Wikipedia reference, (continued)
- 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, 2020/10/11
- 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/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
- Re: Question collaborative editing - Wikipedia reference, Qiantan Hong, 2020/10/09
- Re: Question collaborative editing - Wikipedia reference, Karl Fogel, 2020/10/09