Closed phikal closed 9 months ago
This is a convenient hint, to avoid loading outdated files. Perhaps one could add a user option to automatically save files or never query the user?
This is a convenient hint, to avoid loading outdated files. Perhaps one could add a user option to automatically save files or never query the user?