import issues aside, I see @nosent as @auto which keeps a
copy of the external file in the Leo file, persisting gnx and ua.

The only reason I can think of to prefer @auto is if the Leo
file was dealing with so many external files that size became
an issue.

Would @edit be the choice for managing external files while
keeping the Leo file minimal?

Compared to @auto, each change in an external file triggers
a git diff in both the Leo file and the external file ... that's fine.

On Thu, Feb 12, 2015 at 8:58 PM, Edward K. Ream <edream...@gmail.com> wrote:
>
>
> On Thu, Feb 12, 2015 at 7:49 PM, Kent Tenney <kten...@gmail.com> wrote:
>>
>> On Thu, Feb 12, 2015 at 6:19 PM, Edward K. Ream <edream...@gmail.com>
>> wrote:
>> > I can think of not the slightest reason to keep @auto or @shadow.   Can
>> > you?
>>
>> Yes, if @nosent continues to require 'import file', otherwise no.
>
>
> Let's keep the startup issues separate.
>
> Having said that, I think I agree with you that it makes sense doing an
> automatic import if the @nosent node is empty (and has no children).  It
> shouldn't be too hard to do.
>
> Apart from the startup issues, you seem to agree with me that there is no
> use having @auto or @shadow.
>
> 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 leo-editor+unsubscr...@googlegroups.com.
> To post to this group, send email to leo-editor@googlegroups.com.
> Visit this group at http://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
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