Files
koreader/frontend
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
..
2019-09-01 21:30:19 +02:00
2018-09-29 23:15:57 +02:00
2019-08-30 19:53:36 +02:00
2019-01-03 08:56:29 +01:00
2019-08-24 09:25:38 +02:00