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.