On Saturday, June 24, 2023 at 5:54:02 AM UTC-5 Edward K. Ream wrote:
>> What is the expected behavior when I remove the indentation of the line
produced by the @others in the external file, and save it as such to be
picked-up by Leo and have it refresh that outline from file?
>Imo, there is no "intention" involved. You'll get what the @clean update
algorithm gives you. That algorithm isn't going to change.
Many years ago, when Bernhard Mulder first proposed @shadow, I hesitated to
adopt his proposal because I didn't realize that it didn't matter if the
update algorithm made slight "mistakes". That is, there is no way, in
principle, for the update algorithm to assign a line to the "proper" node
if that line could be assigned either to the end of one node or the
beginning of the following node. At last I understood that:
1. Writing the @shadow tree would create the same result either way.
2. The user could put the line in the "proper" node if they liked.
Thereafter Leo would always put the line where it belongs.
Similar remarks apply to @clean. The user can always adjust nodes,
including @others directives, as they like. In short, edge cases involving
@others don't matter.
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 view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/db663191-e86e-4bd0-a57b-bb3d4435c91dn%40googlegroups.com.
