<div dir="ltr"><div><div>Very interesting! <br><br><br></div>Uwe<br><br></div>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.<br>
<div><br><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/6/24 Martin Monperrus <span dir="ltr"><<a href="mailto:martin.monperrus@gnieh.org" target="_blank">martin.monperrus@gnieh.org</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
I've prototyped a Python plugin that transforms TeXworks in a collaborative real-time editor.<br>
<br>
At each document compilation, TeXworks receives the remote diff and sends the local diff to the server.<br>
<br>
What's your opinion on this?<span class="HOEnZb"><font color="#888888"><br>
<br>
--Martin<br>
</font></span></blockquote></div><br><br clear="all"><br>-- <br>Uwe Ziegenhagen<br><<a href="http://www.uweziegenhagen.de" target="_blank">http://www.uweziegenhagen.de</a>>
</div>