Thanks for this simplification! supporting Leo's unl links is on my todo list for leojs (and leointeg!)
Félix On Sun, Jun 25, 2023 at 2:38 PM jkn <[email protected]> wrote: > Yes, I was a bit surprised this wasn't your approach as well. Looking > forward to the results regardless... > > > On Sunday, June 25, 2023 at 5:49:36 PM UTC+1 [email protected] wrote: > >> I would rather have created a new gnx:// type and left existing unls >> alone. Will existing UNL syntax and methods still work? >> >> On Sunday, June 25, 2023 at 12:00:26 PM UTC-4 Edward K. Ream wrote: >> >>> PR #3215 <https://github.com/leo-editor/leo-editor/pull/3215> changes >>> many files in complex ways. See detailed comments in the first comment of >>> the PR. >>> >>> This PR started as a fix for a minor bug >>> <https://github.com/leo-editor/leo-editor/issues/3181>, but work >>> expanded in unexpected directions. >>> >>> *New, unbreakable, unls* >>> >>> The status line now reports unls of the form: unl:gnx:<gnx>. >>> >>> After copying this string to any body text: >>> - Leo's syntax coloring code will show this as any other url. >>> - Control-clicking this url will take you to the first position of the >>> outline having the given <gnx>. >>> >>> These unls won't break unless you delete the original node (including >>> all its clones)! >>> >>> *Summary* >>> >>> This PR is a milestone in Leo's history. How did we ever live without >>> unbreakable unl links? >>> >>> Internally, Leo now uses *only* these new unls. The old unls are gone. >>> This PR should simplify leoJS. >>> >>> I'll merge this PR into devel in a day or three. I won't wait for a code >>> review. The code involved is too tricky to understand in an hour or five. >>> >>> I'll take full responsibility for any problems that may arise. We aren't >>> going back. >>> >>> All comments are welcome. There is plenty of time for tweaks. >>> >>> 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/bfd2fee7-7792-45b8-8964-ff18881d4ac9n%40googlegroups.com > <https://groups.google.com/d/msgid/leo-editor/bfd2fee7-7792-45b8-8964-ff18881d4ac9n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAC%3DZVRJg%3Dd4U6obQkyBOd%3DhdhKWCF%3DtvmEFjn%2Bk2yMeuMBqL_A%40mail.gmail.com.
