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 <perceptiblelo...@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+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.
