Thanks for trying this, Thomas
FWIW I am running under Linux and the equivalent of your second example
does not work for me (so neither work).
My entries in @data unl-path-prefixes use the ${ENV_VARIABLE} convention as
a 'helper' for use across different machines; I re-wrote these to use
explicit pathnames but this made no difference.
Nothing in the log pane either.
J^n
On Thursday, July 17, 2025 at 5:52:01 PM UTC+1 [email protected] wrote:
> I have verified that (without my patch) if a new-style UNL is edited to
> include the full path, then the outline will get opened with a
> <CTRL-Click>. I don't know if this was intended or an accidental outcome of
> some legacy code.
>
> Example:
>
> *Does not* open the outline:
> unl:gnx://recreation_notes.leo#TomP.20200621125058.1
>
> *Does* open the outline:
> unl:gnx://c:/tom/recreation/recreation_notes.leo#TomP.20200621125058.1
>
> On Thursday, July 17, 2025 at 11:35:09 AM UTC-4 Thomas Passin wrote:
>
>> 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/390a9ada-6a9f-4083-b18e-5d991a87e578n%40googlegroups.com.
