Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ChangeLog: https://lalescu.ro/liviu/fet/news.html * Added the possibility of saving the history to the hard disk, next to the saved .fet data file (suggested by uni_instructor and ngoctp29121982). This option is by default disabled and must be enabled from the settings. * Minor improvements in the memory consumption (the comments of the history are now stored archived). * Code cleanup. PR: 275890 Reported by: uzsolt@uzsolt.hu (maintainer)
- Loading branch information