As of rev e90fc6b, Leo's markdown importer converts all sections to '#' 
sections. The technical justification appears at the bottom of the page for 
#342 <https://github.com/leo-editor/leo-editor/issues/342>. The rest of 
this post explains the change from a user's point of view.

*tl;dr:* Converting all sections to '#' markup is Leonine, simplest and 
best. Only existing .md files that Leo *didn't* write could be changed.  If 
such changes don't work for you, just insert @ignore yourself when git or 
diff reports differences.

*Justification*

Imo, this change is fully justified:

1. It is more Leonine.

When creating and changing .md files from within Leo, @auto-md works much 
more smoothly.  Indeed, as I have just verified, converting an @nosent x.md 
file to @auto-md x.md "just works". 

There is absolutely no reason to use underlined sections when using Leo.  
The *headlines* proclaim the section structure far better than flat text of 
*any* kind, whether ### section name or underlined section names.

2. Perfect import check should not wag the dog.

The markdown importer is one of the simplest of all.  The possibility of 
dropping data seems remote.  Requiring a typical perfect import check to 
pass would preclude regularizing section markup.  It's just that simple.

Furthermore, the existing unit tests for the markup importer do check 
imported section structure, albeit imperfectly That should suffice for now. 
In the unlikely event that real problems are reported, these after-the-fact 
unit tests can be improved.

*Summary*

Importing markdown files containing underlined sections could only pass 
typical perfect import checks if existing underlining were somehow 
retained.  That's a bad idea.  Instead, Leo's markdown importer now 
implicitly converts all sections to '#' markup.  In essence, the markup 
*disappears* from the outline, to be automagically reinserted when Leo 
writes the outline.

This new scheme can change existing .md files, but *only* files that Leo 
didn't write.  If that is inconvenient for you, just add @ignore yourself.

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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to