I felt they should be in a user's personal myLeoSettings.leo... Maybe that's what happened: they were put in leoSettings.leo instead of myLeoSettings.leo by mistake?
On Monday, October 9, 2023 at 3:12:08 PM UTC-4 Félix 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* > > 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/b78c533d-10d8-44df-ba2b-2a7d5c8f4e3fn%40googlegroups.com.
