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* Are they intended to be there or are they a remnant of some test/experiment that was forgotten to be in leoSettings for some time? Should it be removed? 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/72037dc3-0964-436a-8263-118f6ba50123n%40googlegroups.com.
