On Monday, October 10, 2016 at 6:10:55 AM UTC-5, Edward K. Ream wrote:

Some notes re the latest code, rev deec885:
>
> @others isn't being indented as much as it should. As a result, child 
> nodes aren't being unindented as much as they could be.  There are two 
> possible approaches:
>
> 1. Indent @others by 4 spaces everywhere except the top node, and unindent 
> all children by the maximum amount.  This will have the effect of 
> regularizing indentation automatically.  This should at least be an option.
>

Rev 182398c regularizes all leading whitespace automatically.  Imo, this is 
a reasonable thing to do in all situations.  Let me know if this will give 
you problems.

2. Do some AI to calculate the maximum indentation possible for @others, 
> and then indent all children by *that* amount.  The present code attempts 
> to do this, and fails.  In fact, the code must keep track of the 
> indentation of *parent* @others directives.  I'll attempt this later, 
> perhaps today.
>

I would rather not go to all the trouble (and risk) of doing this merely to 
preserve the typical irregular indentation that javascript programmers 
often put up with. The point of a Leonine representation is that Leo nodes 
can be heavily indented in the external file even though the body pane 
isn't indented at all.  That's what indenting @others does.

The present code is already much better than I ever hoped for.  The next 
step will be to allow section references in @auto node.  That will complete 
the work on the javascript importer.

EKR

-- 
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