Hi Kevin, No problem.
It works like this because of how Leo loads settings. A settings tree in the file itself is valid, so reading all of the settings when loading the file makes sense. Chris On Tue, Feb 27, 2018 at 11:32 AM, k-hen <perceptiblelo...@gmail.com> wrote: > Thanks Chris, much appreciated. > > I was hoping that it could take immediate effect somehow, > but reloading just the file(s) is definitely easier than the whole > application. > > Kevin > > > On Tuesday, February 27, 2018 at 2:35:33 PM UTC-3:30, Chris George wrote: >> >> Hi Kevin, >> >> Welcome. >> >> All you need to do is: >> >> 1) Make the change to the setting. >> 2) Save the settings file. >> 3) Run <Alt-x> reload-settings or "Reload-Settings" from the "Settings" >> menu. >> 4) Close the file. >> 5) Reopen the file to see your new settings take effect. >> >> Chris >> >> On Tue, Feb 27, 2018 at 9:47 AM, k-hen <percepti...@gmail.com> wrote: >> >>> Hi All, >>> >>> I'm happy and excited to be ramping up in Leo, but like many I'm sure, >>> am having some minor pains getting up to speed. >>> I'm making edits to my 'myLeoSettings.leo' file and would like to know >>> what the fast way of re-applying those settings is. >>> I figured that the 'Reload-Settings' feature would do this, and it >>> appears to read the files from the log, but doesn't apply to the active >>> window, e.g. when changing the font-size. I'm sure I have the syntax >>> correct because when I close and open Leo it does take effect. >>> >>> Thanks very much, >>> Kevin >>> >>> -- >>> 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+...@googlegroups.com. >>> To post to this group, send email to leo-e...@googlegroups.com. >>> Visit this group at https://groups.google.com/group/leo-editor. >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> -- > 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 post to this group, send email to leo-editor@googlegroups.com. > Visit this group at https://groups.google.com/group/leo-editor. > For more options, visit https://groups.google.com/d/optout. > -- 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 post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
