"reload settings" from where? From "settings file(s) from disk", or from "settings file(s) on disk, perhaps overridden by any held in memory"?
I would think the former. Perhaps saving files is a safety measure; I can see the command changing things underneath you in a way that might be ... surprising J^n On Wednesday, June 8, 2022 at 5:16:29 PM UTC+1 Edward K. Ream wrote: > On Wed, Jun 8, 2022 at 10:39 AM [email protected] <[email protected]> > wrote: > >> Since reloading settings will not close Leo, I don't see any reason to >> save any files except for unsaved settings files. Sometimes people leave >> unsaved files on purpose - in case they want to scrap their changes by >> closing an outline without saving - so let's not surprise those folks by >> saving their file unexpectedly. >> > > Does not saving a file on purpose include settings files? Perhaps the > reload-settings command shouldn't save *any *files! > > Comments, please. > > 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/f76cb8aa-a3a1-4e43-b629-9e14e7c0c882n%40googlegroups.com.
