Re: TIL in Leo: decluttering headlines
On Tue, Feb 20, 2024 at 4:42 PM jkn wrote: > 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... > Thanks for your testing. I'll look forward to your report. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS29o-fYUeX4SarUvKveAzvvBe%3Dj5XE_5RjBbbwC-fsunw%40mail.gmail.com.
Re: TIL in Leo: decluttering headlines
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.
TIL in Leo: decluttering headlines
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/c6114c4c-0cf1-4c56-b445-287fc720dac9n%40googlegroups.com.