On Tue, Mar 28, 2023 at 8:54 AM Thomas Passin <[email protected]> wrote:
Thanks for your comments, Thomas. I think we are pretty much saying the same things. Here are few clarifications... Should numbers be one-based or zero-based? One-based seems less nerdy, but > there is another question. Should line numbers be local or global? > > > 1-based! And local to the selected subtree. Anything else would be > disastrously confusing. > I pretty much agree. There are some edge cases that might benefit from starting with zero, but I'd rather not discuss the details. > People like different formats for outline numbers. Maybe there could be a > setting to select one of a small number of possibilities (it's not worth it > to implement an fprint-style formatting scheme, IMHO). > Let's leave this for (much) later. Getting the simplest numbering to work will be complicated enough. Clones appear in multiple places in an outline, but all clones have the > same headline. Therefore the headline number for clones will be incorrect > in some positions. This problem has no perfect solution. > > > A headline-user is just going to have to know this and adapt to it, I > would say. > I agree. The (heroic) alternative is to let Leo's drawing code add numbers on the fly. This makes headline numbers extrinsic. Let's not go there. Hmm, maybe the headline string could become a property instead of an > attribute. The property code could figure out what to do when a node has > clones. > Yes, it can be done by analogy with how Leo can expand some positions without expanding cloned positions. Again, there is no real point in considering this now. > This makes me think that the original requester has not thought out his > use cases very carefully. Maybe a better solution would be for the > commands to become scripts which a user could install in the @settings tree > of an outline if he planned to use numbering in it. > I said much the same thing in the summary. But I would like to hear other comments before choosing what to do next. 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/CAMF8tS2LDJdeEfVOvWqqa%3Di%3DWEBHWphpSxFX8QBDtvpFT9Sv8A%40mail.gmail.com.
