Why are myLeoSettings.leo are read twice in a row?
Shouldn't the log message for the second read of ekr.leo be different then?reading *settings* in C:\Users\Dev\ekr.leo # My local file, read for its entire *content*.
reading settings in C:\Tom\git\leo-editor\leo\config\leoSettings.leo
reading settings in C:\Users\Tom\.leo\myLeoSettings.leo
reading settings in C:\Users\Tom\.leo\themes\tbp_dark.leo
reading settings in C:\Users\Tom\.leo\workbook.leo
... One might expect logs like: (leaving EKR comments in)
reading settings in C:\Users\Dev\ekr.leo # My local file, read only for its settings.
...
reading C:\Users\Dev\ekr.leo # My local file, read for its entire content.But sheesh, I appreciate this is all small beer...
For all outlines except the first to be opened, I get no log messages about reading LeoSettings.leo, myLeoSettings.leo, or the theme. This makes me think they don't get read again.
I have just read 'Search order for settings files' https://leo-editor.github.io/leo-editor/customizing.html#id3which seems to confirm the behaviour I described above is intended.