On 4/8/2016 10:13 AM, 'Terry Brown' via leo-editor wrote:
Why can't I find the setting? I tried
check_for_changed_external_files
check-for-changed-external-files
checkforcha
r:config.*external
Maybe it's just too early in the morning.
Cheers -Terry
Try this:
https://github.com/leo-editor/leo-editor/blob/8201152e7e6fdf3cac35fca2d2709e32bb5dc6ee/leo/core/leoExternalFiles.py#L464
--
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
