On Monday, February 24, 2020 at 9:38:53 AM UTC-5, Thomas Passin wrote: > > I decided to have the link meta-lines have optional labels, because they > help you know which links goes where. In the older paper-based system, > identifiers generally looked like [...] > > Using an optional label seems better. >
Very much agreed. It's hard to imagine a situation where we wouldn't want a literate label with any link, though there might be such a case. Should/could the literate label precede the UID in the line, for prominance? -- 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/1dacba3b-f466-4153-a0a7-c58cd1c9e99a%40googlegroups.com.
