My memory is blank about the status... On Thursday, July 17, 2025 at 10:07:54 AM UTC-4 jkn wrote:
> Hello there (eg. Thomas, Edward) > did this patch, or something like it, ever get added to Leo, do you > know? > > I encountered a situation today where I had a link of the form > > unl:gnx://myfilename.leo#jkn.20240604101758.1 > > > (and an entry in @data unl-path-prefixes to point to the location of > myfilename.leo) > > > Ctrl-click successfully navigates to the location if myfilename.leo is > already open, but not otherwise. > > > I am not clear which PR (mentioned above) is supposed to contain this... > > > Thanks, J^n > > > > > On Sunday, December 10, 2023 at 5:40:58 AM UTC lewis wrote: > >> See #3706 which concerns headline focus. >> I will try out your patch. >> > -- 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 visit https://groups.google.com/d/msgid/leo-editor/0f21c107-6ad9-4ef9-ab0a-838c2976341an%40googlegroups.com.
