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 <[email protected] > <javascript:>> 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 [email protected] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
