From 8fa01bc76ce485fb5ecd3077254ec0e5a8777cec Mon Sep 17 00:00:00 2001 From: Giorgio Micotti Date: Wed, 31 Jul 2013 11:38:13 +0200 Subject: [PATCH] Fixes for higher DPI; make the X easier to reach. --- frontend/ui/widget/menu.lua | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/frontend/ui/widget/menu.lua b/frontend/ui/widget/menu.lua index fb90535c6..33df8a2a3 100644 --- a/frontend/ui/widget/menu.lua +++ b/frontend/ui/widget/menu.lua @@ -65,8 +65,8 @@ MenuCloseButton = InputContainer:new{ function MenuCloseButton:init() self[1] = TextWidget:new{ - text = "-[ X ]- ", - face = Font:getFace("cfont", 22), + text = " X ", + face = Font:getFace("cfont", 42), } local text_size = self[1]:getSize() @@ -247,13 +247,13 @@ Menu = FocusManager:new{ function Menu:_recalculateDimen() self.dimen.w = self.width -- if height not given, dynamically calculate it - self.dimen.h = self.height or (#self.item_table + 2) * 36 + self.dimen.h = self.height or (#self.item_table + 2) * Screen:scaleByDPI(36) if self.dimen.h > Screen:getHeight() then self.dimen.h = Screen:getHeight() end self.item_dimen = Geom:new{ w = self.dimen.w, - h = 36, -- hardcoded for now + h = Screen:scaleByDPI(36), -- hardcoded for now } if not self.is_borderless then -- we need to substract border, margin and padding