From 44ecf74ba3aabfb9e4682b6f2b87e21fe91cf91f Mon Sep 17 00:00:00 2001 From: Ebrehem Date: Sat, 27 Sep 2014 12:56:47 +0200 Subject: [PATCH 1/2] Update readerfooter.lua --- frontend/apps/reader/modules/readerfooter.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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), From 19520f6d3b88315a2edca5b8304302270364be15 Mon Sep 17 00:00:00 2001 From: Ebrehem Date: Sat, 27 Sep 2014 12:59:33 +0200 Subject: [PATCH 2/2] Update defaults.lua --- defaults.lua | 2 ++ 1 file changed, 2 insertions(+) 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