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.
