On Sat, Mar 28, 2015 at 12:22 PM, Steve Zatz <[email protected]> wrote:

​> ​
could leo routinely (or have an @settings switch) track externally
referenced files for changes since the last leo-initiated save and alert
the user that a file has been changed outside leo?

​Your timing is perfect.  Recent work on idle-time and open-with relate
directly to this.  Please file an enhancement request.  I'll target it for
5.1 b2.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to