Thanks - no problem at all, I'm gonna clear it :) On Monday, October 9, 2023 at 3:45:17 PM UTC-4 Edward K. Ream wrote:
> On Mon, Oct 9, 2023 at 2:12 PM Félix <felix...@gmail.com> 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/6608a576-3072-4ff7-a22e-80d8501017f8n%40googlegroups.com.
