mirror of
https://github.com/koreader/koreader.git
synced 2025-08-10 00:52:38 +00:00
By having the same DoubleSpinWidget launched when hitting "..." on any of Top margin or Bottom margin progress bars. DoubleSpinWidget: remove blank space when no info_text.