On Mon, Oct 9, 2023 at 2:12 PM Félix <[email protected]> wrote:
> I've implemented @data history-list support in LeoJS and LeoInteg (coming > soon in next 1.0.16 version) and I'm wondering why does the default history > list taken from the leoSettings.leo settings file have those two commands > already in there: > > *pylint* > *sort-lines* Imo, it's no big deal what the default is. Clear the default if you like. If there was any deep thought behind the choice I have forgotten it, hehe! 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/CAMF8tS2QMi%3Dm5BGX8jbNCv_qyF8R_rOV-%2B5eGFD-f6%2BejYYeig%40mail.gmail.com.
