I suppose what is most confusing about this little project is that outline
headlines have two roles to play. 1) They are sentinels, in that they mark
leo's outline structure and they talk to leo and 2) They are descriptive
comments that I use to understand the code myself; i.e. they talk to me.
So I use them like any other comment, but with the added plus that they
allow me to see the leo outline in @nosent files.
As it is, @files are too busy. @nosent-h files (nosent files with headlines
as comments) would be fairly readable and for me informative, because they
would remind me of the leo structure.
Personally I would aim for something more readable, e.g.
# ~~~ d
code and comments
as there's no point (I can think of) in writing `#@#@#@` unless there is
also a parser for reading it back into Leo and converting those to outline
nodes.
Yes, I agree. I might even like legal numbering : 1.1, 1.2. etc...But even
your simplified form might be parsed to be read back into Leo (I wasn't
thinking about that option, but it seems do-able.)
Ideally the user could decide how the "faux sentinel" would be represented.
I realize now that they should really be @nosent-h nodes, and not @auto-h,
because @auto generates its own headlines, if I understand correctly.
Bill
Le dimanche 13 octobre 2013 23:04:32 UTC-7, Matt Wilkie a écrit :
>
> Could you speak a bit to what problem this would solve for you?
>
> Sentinals/No sentinals is something that comes up regularly, but the idea
> of "some sentinels" is new (to me). It might be useful to explore that.
>
>
> >#@#@#@ d
> >code and comments
>
> Personally I would aim for something more readable, e.g.
>
> # ~~~ d
> code and comments
>
> as there's no point (I can think of) in writing `#@#@#@` unless there is
> also a parser for reading it back into Leo and converting those to outline
> nodes.
>
> -matt
>
>
--
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/groups/opt_out.
