From 37d22f2d17001523c790cac3a31099ad0e1d445e Mon Sep 17 00:00:00 2001 From: chrox Date: Mon, 25 Feb 2013 21:59:10 +0800 Subject: [PATCH] set widget spacing according to screen DPI --- frontend/ui/config.lua | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/frontend/ui/config.lua b/frontend/ui/config.lua index eecd821a3..473d44b62 100644 --- a/frontend/ui/config.lua +++ b/frontend/ui/config.lua @@ -180,7 +180,7 @@ function ConfigOption:init() local default_option_height = 50 local default_option_padding = 15 local vertical_group = VerticalGroup:new{} - table.insert(vertical_group, VerticalSpan:new{ width = default_option_padding }) + table.insert(vertical_group, VerticalSpan:new{ width = default_option_padding * Screen:getDPI()/167 }) for c = 1, #self.options do if self.options[c].show ~= false then local name_align = self.options[c].name_align_right and self.options[c].name_align_right or 0.33 @@ -189,9 +189,10 @@ function ConfigOption:init() local name_font_size = self.options[c].name_font_size and self.options[c].name_font_size or default_name_font_size local item_font_face = self.options[c].item_font_face and self.options[c].item_font_face or "cfont" local item_font_size = self.options[c].item_font_size and self.options[c].item_font_size or default_item_font_size - local option_height = self.options[c].height and self.options[c].height or default_option_height - local items_spacing = HorizontalSpan:new{ width = self.options[c].spacing and self.options[c].spacing or default_items_spacing} - + local option_height = (self.options[c].height and self.options[c].height or default_option_height) * Screen:getDPI()/167 + local items_spacing = HorizontalSpan:new{ + width = (self.options[c].spacing and self.options[c].spacing or default_items_spacing) * Screen:getDPI()/167 + } local horizontal_group = HorizontalGroup:new{} if self.options[c].name_text then local option_name_container = RightContainer:new{