Sweet! I was looking at the refresh-* commands, reload-* does the trick.
Thanks, Kent On Wed, Feb 28, 2018 at 10:16 AM, Edward K. Ream <edream...@gmail.com> wrote: > On Wed, Feb 28, 2018 at 10:00 AM, Kent Tenney <kten...@gmail.com> wrote: > > I seem to recall a time when doing a <save> followed by >> <revert to saved> would apply @settings changes, but >> now it seems the file must be closed and re-opened. >> > > This came up a few days ago, and I didn't follow up on it. > > Have you tried the reload-all-settings command? Iirc it's supposed to > reload all settings ;-) > > Edward > > -- > 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.