On Tuesday, June 25, 2019 at 6:14:28 AM UTC-4, Edward K. Ream wrote: > > On Mon, Jun 24, 2019 at 8:00 AM john lunzer <lun...@gmail.com > <javascript:>> wrote: > > > If Leo had a multi-node body pane which reflected the indented > structure/view shown in the tree pane then it would function more similarly > to Org-mode than it does now. > > I don't have a clear picture for this. Can you explain further? > > Edward >
Sure, I've made a mock up to aid understanding. In this example, typically the "header" nodes would not contain "body" text but it does not mean they can't. Any node could have the same header/body split as the "child" nodes in this example. Perhaps a better name for this type of body pane would be a "tree body pane". The important thing is that the view in the body pane reflects the view in the tree pane, really the only difference between them is that the body pane also shows the body text for each node. Interestingly the body pane as shown here is what you see when in Org mode, It doesn't have a "tree pane". To be clear I'm not advocating that Leo's body pane be converted to this. I'm suggesting this as a new and different type of body pane, where you could switch between this new type of body pane and a conventional single node body pane, depending on your preference. My understanding from past conversation is that Terry has put quite some work into *something similar*. I believe he has shown us his own mock-ups/demos, though, I don't believe he incorporated the tree-like indentation in the body pane as I have shown here. [image: tree_body.png] -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/bc452ea8-5625-4a30-8fe7-0aff58a5c6da%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
