Files
koreader/frontend
NiLuJe 888d3591b2 Give more control over CRe margins (#4945)
Without having to resort to weird custom defaults.

* Split the current margins setting in three:
  * Horizontal margins (because you generally want those two to be balanced).
  * Top margin & Bottom margin (because you may want to tweak those separately to deal with quirky status bar/final line shenanigans).

* Also, add a "Reclaim bar height from bottom margin" toggle to the status bar menu, to optionally make sure the status bar won't eat into the bottom margin.

* Includes a free fix to diacritics popup refresh handling in the keyboard ;).
2019-05-01 02:09:01 +02:00
..
2014-03-13 21:52:43 +08:00
2019-01-03 08:56:29 +01:00
2018-09-29 23:15:57 +02:00
2017-04-14 11:40:35 -07:00
2019-01-17 21:44:15 +01:00
2019-01-03 08:56:29 +01:00