[texworks] TeXworks as a collaborative real-time editor
ziegenhagen at gmail.com
Mon Jun 24 23:03:27 CEST 2013
BTW: Is there any hook in TeXworks which would allow me to run e.g. the
diff or compilation if the user hasn't edited the text for a few seconds? I
have seen it with Gummi, but don't want to switch from TeX Works.
2013/6/24 Martin Monperrus <martin.monperrus at gnieh.org>
> Hi all,
> I've prototyped a Python plugin that transforms TeXworks in a
> collaborative real-time editor.
> At each document compilation, TeXworks receives the remote diff and sends
> the local diff to the server.
> What's your opinion on this?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the texworks