hius07 1e6b22a60e Readerzooming: fix use of default settings (#10205) ... (1) Fix default direction. Closes #10201. Fixes #9321. (2) Fix default overlap (unreported bug). (3) Do not write unused settings to doc_settings.		2023-03-23 09:04:59 +01:00
..
modules	Readerzooming: fix use of default settings (#10205)	2023-03-23 09:04:59 +01:00
readerui.lua	History: update last book access time (#10156)	2023-02-23 19:23:30 +02:00