mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Make this existing setting tunable with a menu item. Also make the Page overlap and Highlight menus use a checkbox, and their items grayed out when disabled.