I really like the path this is taking: the most power is in the simplest way!
The only thing that does not fit in with my current view is this one: > > 2. A new directive, say *@rendertree* would tell VR to render the node > and its subtree. This makes visible and explicit what would otherwise be a > VR option. > As I see them, directives (@auto, @url, @language or whatever) are the way of giving Leo some meta-data about the (otherwise raw) contents of a node or group of nodes and/or the relations between them. In other words, I see them as a "typing system": an @url node is different kind of node than the rest, and so on. This is also valid for the @others directive, being this one a way of saying Leo that a sub-tree is to be treated as a whole and equivalent to its plain-text being placed where the @others is now. In this sense, I don't fully see the point of the *@rendertree *directive, being this one only related with the rendering of nodes in the VR pane. It is not talking about properties of this nodes any more! Wouldn't it be enought to have a different command, something like " *vr-render-subtree*" or whatever? I have many @auto for Markdown files where I would like to have the possibility of rendering just the body pane of the current node (as is now the VR pane) *or* *rendering a whole group of nodes *interchangeably, without having to insert @rendertree directives and move them up and down the tree to achieve this... I would even understand if it was instead a "*vr-render-outline*" command which rendered always the *whole outline on the left* and having to use the hoist/dehoist commands if I want to see the rendering of only a part of the outline... but I don't understand the reasons for an *@rendertree * directive. What's the use case you have in mind? -- 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.
