update - it does seem to work ... but I have seen some strangenesses.
- an exception failure, ~ bad number pof parameters
- a case where no more headlines appear below the 'decluttered' one.
I will continue to investigate...
J^n
On Tuesday, February 20, 2024 at 4:21:54 PM UTC jkn wrote:
> I had never seen this before:
>
>
> https://leo-editor.github.io/leo-editor/customizing.html#decluttering-headlines
>
> this seems very cool! I have been messing around with node icons, but this
> seems a much better scheme. Is the documentation up to date?
>
> Regards
> Jon N
>
>
--
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/f6a8fac1-4c45-4da3-a257-9cff11d8241en%40googlegroups.com.