[texworks] TeXworks as a collaborative real-time editor

Uwe Ziegenhagen ziegenhagen at gmail.com
Mon Jun 24 23:03:27 CEST 2013

Very interesting!


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?
> --Martin

Uwe Ziegenhagen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://tug.org/pipermail/texworks/attachments/20130624/2b80cc18/attachment.html>

More information about the texworks mailing list