Right, I forgot about that. I used to copy the UNLs that way until I set up a menu item with the script I showed.
On Saturday, October 26, 2024 at 12:44:21 PM UTC-4 gates...@gmail.com wrote: > If you’re a mouse user, you can right click -> copy on the UNL at the > bottom of the window, underneath the minibuffer. > > Jake > > On Oct 26, 2024, at 12:06 PM, Thomas Passin <tbp1...@gmail.com> wrote: > > > > I keep an outline in which I'm slowly building up bits of information > about Leo (and Linux, Python, whatever). I wanted to find the table of > Leo's hooks today. I didn't want to fish around the various Leo files and > web pages trying to find it. Instead, I knew I had it in my outline so I > searched using the Nav tab for "hook". It found the headline *Table Of > Leo's Hooks*. This node contains the link: > > unl:gnx://LeoDocs.leo#ekr.20050903074833.1 > > CTRL-clicking on the link opened the *LeoDocs.leo* outline to the desired > node. Beautiful! > > I get the target UNL of the node I'm viewing with this code: > > """Copy UNL of current position to clipboard.""" > p = c.p > g.app.gui.replaceClipboardWith(p.get_UNL()) > > Then I paste the UNL into the outline I'm using to capture these bits of > information. > > -- > 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 leo-editor+...@googlegroups.com. > To view this discussion visit > https://groups.google.com/d/msgid/leo-editor/e3fa445b-41aa-473b-981c-2ed1ba853007n%40googlegroups.com > > <https://groups.google.com/d/msgid/leo-editor/e3fa445b-41aa-473b-981c-2ed1ba853007n%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 leo-editor+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/leo-editor/098a6a47-3b2d-4cec-82c7-75ec168eb4b5n%40googlegroups.com.
