Files
koreader/frontend/ui/widget
NiLuJe d66cf7ab61 [fix] Allow setting a fine-tuned font size as default (#5306)
And a couple bugfix this unearthed:

* Always set the default as the *current* value, no matter what (by chance, this was not an issue for margins).
* Don't crash on the hold gesture in the -/+ buttons for the horizontal margins (regression since #5303).
2019-09-03 13:41:15 +02:00
..
2017-08-18 11:43:46 +02:00
2017-08-18 11:43:46 +02:00
2014-03-13 21:52:43 +08:00
2018-08-19 20:21:03 +02:00
2017-08-18 11:43:46 +02:00
2016-12-25 12:13:53 -08:00