mirror of
https://github.com/koreader/koreader
synced 2024-10-31 21:20:20 +00:00
2f831bebc7
That's it: replace "static 10px" margins by a value that takes device DPI into account and works with rounded corner devices. Fixes #6157 |
||
---|---|---|
.. | ||
modules | ||
readerui.lua | ||
skimtowidget.lua |