On Wed, Jun 8, 2022 at 12:51 PM jkn <[email protected]> wrote: > "reload settings" from where? From "settings file(s) from disk", or from > "settings file(s) on disk, perhaps overridden by any held in memory"? >
>From disk, except for per-installation and per-machine settings as described here <http://leoeditor.com/customizing.html#using-settings>. The per-installation and per-machine settings aren't going to change, and in any event they are last-ditch defaults. > I would think the former. > Yes. The point of reload-settings is to recompute all settings as necessary. There is no concept of (settings held in memory). > Perhaps saving files is a safety measure; I can see the command changing > things underneath you in a way that might be ... surprising > Big sigh. What, exactly, is the least surprising option? Thomas seems to think that *not* saving settings files is less surprising, but I have some doubts. I agree that reload-settings should (at most) save only myLeoSettings.leo, leoSettings.leo and the presently-selected (active) .leo file. I'm starting to think the simplest thing that could possibly work would be to have reload-settings save *no* files. That gives the user the most "control". But dash it all, one could plausibly argue that it would be less surprising to "honor" the settings in all open files. Imo, this is mostly a tempest in a teapot. I don't care much either way. 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0YS7wYrc%3DM0i%3D2sjpC_sbz%2BJqjpQ2S6S%2ByxoJbnqhHFw%40mail.gmail.com.
