Felix, you have done a lot of hard work! I've been wondering what the possibilities will be for writing scripts for LeoInteg or LeoJS (of course, in Java/Type -script instead of Python)? How hard will it be to code up and run small utility scripts, for example?
On Friday, February 3, 2023 at 4:42:00 PM UTC-5 Félix wrote: > Hello to all my Leonistas friends! > > Here's some good news for a change: > > Since the VSCode API now allows for the nodes in a tree to have visible > highlight ranges in their headlines, LeoInteg 1.0.12 will feature 'distinct > search results' to be visible in the outline. Just like the regular Leo > offers. > > This feature will be enabled, in part, by new server upgrades coming in > Leo 6.7.2. (the current LeoInteg will not break with those new server > features, in case upgrades are not simultaneous) > > Of course, this feature will be present from the get-go in LeoJS beta, > which I still plan to release before the spring. > > Here's a screenshot of what is meant by "visible selection ranges in the > headlines" (*looking for 'bla' string with the find commands of Leo F2 or > F3, a match is highlighted in the second headline)*: > [image: Screenshot from 2023-02-03 16-28-25.png] > > Playing with it this afternoon to try it out, I have to say, it greatly > improves the 'real Leo' feel and experience when using find commands in > LeoInteg! > > Félix > > -- 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 on the web visit https://groups.google.com/d/msgid/leo-editor/be1c4186-1d9c-4e42-b36e-4b4565c5ebabn%40googlegroups.com.