2 Commits

Author	SHA1	Message	Date
poire-z	04d9a557aa	Use fsync() for more robust setting files saving ... Bump base for util.fsyncOpenedFile() and util.fsyncDirectory(). Use these to force flush to storage device when saving luasetting, docsetting, and history.lua. Also dont rotate them to .old until they are at least 60 seconds old. Also make auto_save_paging_count count right. Also bump crengine: open (as text) small or empty files	2019-12-10 23:57:32 +01:00
Frans de Jonge	d23d01643e	Add LuaData and Dictionary Lookup History (#3161) ... * Add dictionary history Fixes #2033, fixes #2998. * Add LuaData * table handling in base settings * Add LuaData spec	2017-10-07 22:13:46 +02:00