MobileRead Forums - View Single Post - Find replace history not saved between sessions

KevinH · 02-07-2020, 04:43 PM

BTW, if that helps, we can make that move for all platforms since it is safer to do a call to WriteSettings() in close() instead of the destructor in general.

02-07-2020, 04:43 PM	#10
KevinH Sigil Developer Posts: 8,885 Karma: 6120478 Join Date: Nov 2009 Device: many	BTW, if that helps, we can make that move for all platforms since it is safer to do a call to WriteSettings() in close() instead of the destructor in general.