Default 'history-list' in leoSettings.leo

Félix

unread,

Oct 9, 2023, 3:12:08 PM10/9/23

to leo-editor

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

unread,

Oct 9, 2023, 3:15:56 PM10/9/23

to leo-editor

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?

Edward K. Ream

unread,

Oct 9, 2023, 3:45:17 PM10/9/23

to leo-e...@googlegroups.com

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

Félix

unread,

Oct 9, 2023, 4:05:37 PM10/9/23

to leo-editor

Thanks - no problem at all, I'm gonna clear it :)

Reply all

Reply to author

Forward