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.

Reply via email to