mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Follow-up to #4557. Ten-second fixes are never a good idea. This hides the E Ink settings menu properly again.
Follow-up to #4557. Ten-second fixes are never a good idea. This hides the E Ink settings menu properly again.