diff --git a/frontend/apps/filemanager/filemanager.lua b/frontend/apps/filemanager/filemanager.lua index 0045640a8..64b201fc2 100644 --- a/frontend/apps/filemanager/filemanager.lua +++ b/frontend/apps/filemanager/filemanager.lua @@ -2,6 +2,7 @@ local InputContainer = require("ui/widget/container/inputcontainer") local FrameContainer = require("ui/widget/container/framecontainer") local TextWidget = require("ui/widget/textwidget") local FileChooser = require("ui/widget/filechooser") +local VerticalSpan = require("ui/widget/verticalspan") local VerticalGroup = require("ui/widget/verticalgroup") local Font = require("ui/font") local Screen = require("ui/screen") @@ -28,13 +29,12 @@ function FileManager:init() self.show_parent = self.show_parent or self - self.banner = FrameContainer:new{ - padding = 0, - bordersize = 0, + self.banner = VerticalGroup:new{ TextWidget:new{ face = Font:getFace("tfont", 24), text = self.title, - } + }, + VerticalSpan:new{ width = Screen:scaleByDPI(10) } } local file_chooser = FileChooser:new{