diff --git a/defaults.lua b/defaults.lua index fb2939721..68e3ae00c 100644 --- a/defaults.lua +++ b/defaults.lua @@ -139,6 +139,8 @@ DMINIBAR_TOC_MARKER_WIDTH = 2 -- Looses usefulness > 3 DMINIBAR_HEIGHT = 7 -- Should be smaller than DMINIBAR_CONTAINER_HEIGHT DMINIBAR_CONTAINER_HEIGHT = 14 -- Larger means more padding at the bottom, at the risk of eating into the last line +DMINIBAR_FONT_SIZE = 14 + -- gesture detector defaults DGESDETECT_DISABLE_DOUBLE_TAP = true diff --git a/frontend/apps/reader/modules/readerfooter.lua b/frontend/apps/reader/modules/readerfooter.lua index f78c5155b..443d384b9 100644 --- a/frontend/apps/reader/modules/readerfooter.lua +++ b/frontend/apps/reader/modules/readerfooter.lua @@ -23,7 +23,7 @@ local ReaderFooter = InputContainer:new{ progress_percentage = 0.0, progress_text = nil, text_font_face = "ffont", - text_font_size = 14, + text_font_size = DMINIBAR_FONT_SIZE, bar_height = Screen:scaleByDPI(DMINIBAR_HEIGHT), height = Screen:scaleByDPI(DMINIBAR_CONTAINER_HEIGHT), padding = Screen:scaleByDPI(10),