On Jun 19, 10:56 am, "Edward K. Ream" <[email protected]> wrote:
> To reduce diffs we want to keep these base-62 indices unchanged. The > easy way to do this is never to delete gnx's from leo-editor lines, > but simply to add gnx's to the end ;-) Alternatively, once a gnx goes > unused, we could replace it by a placeholder, say a period, but that > would be a premature optimization now. I've changed my mind. Using '.' to denote an unused index allows Leo to reuse no-longer-used indices. In the long run, this will significantly reduce the number of gnx's in the leo-editor-data line. And it will keep the indices as short (and inconspicuous) as possible. There can never be a problem with reusing indices, because they have significance only within the external file itself. EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
