[texworks] TeXworks as a collaborative real-time editor

[Uwe Ziegenhagen]

Very interesting!


Uwe

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
<http://www.uweziegenhagen.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://tug.org/pipermail/texworks/attachments/20130624/2b80cc18/attachment.html>