mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
Otherwise, depending on the DPI, the size computation might not cover the full-screen, leaving gaps to what was behind the widget. Fix #11177