mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
e5206922c6
- Use same names for options; - Have them both movable - Add option to keep widget shown on Apply (and use that when appropriate: when the value may have an immediate visual effect, so one can tweak it without having to go thru menus to re-open it again).