On Wednesday, June 30, 2021 at 6:08:46 AM UTC-5 Edward K. Ream wrote: > On Tue, Jun 29, 2021 at 4:21 PM [email protected] <[email protected]> > wrote: > >> Search results in the Nav tab are navigable - when you click on one of >> them, the selected node changes to be the location of the clicked result. >> >> *find-all's* results are static, i.e., not navigable when clicked on. >> > > A good idea. I have just created #2023 > <https://github.com/leo-editor/leo-editor/issues/2023>. >
Done in devel. This is a very useful feature. Note that because of syntax coloring the clickable links must be in the log pane, not the body pane. 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/7fdd1c81-2b1c-4c60-b365-e8ed87c1f416n%40googlegroups.com.
