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/CAMF8tS26F9aAr7Pbiruo%3D7wWnOBYsQo%2BohRWAcOTMdo3e4XHtg%40mail.gmail.com.
