File browser, Path chooser: fix margin of the long folder name in the header (#8103)

* Filemanager: margin of the folder name in the header

* Menu: margin of the folder name in the header
pull/8115/head
hius07 3 years ago committed by GitHub
parent f2ce7d1f3a
commit 3c3361addf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -134,7 +134,7 @@ function FileManager:setupLayout()
self.path_text = TextWidget:new{ self.path_text = TextWidget:new{
face = Font:getFace("xx_smallinfofont"), face = Font:getFace("xx_smallinfofont"),
text = BD.directory(filemanagerutil.abbreviate(self.root_path)), text = BD.directory(filemanagerutil.abbreviate(self.root_path)),
max_width = Screen:getWidth() - 2*Size.padding.small, max_width = Screen:getWidth() - 2*Size.padding.large,
truncate_left = true, truncate_left = true,
} }

@ -729,7 +729,7 @@ function Menu:init()
self.path_text = TextWidget:new{ self.path_text = TextWidget:new{
face = Font:getFace("xx_smallinfofont"), face = Font:getFace("xx_smallinfofont"),
text = BD.directory(self.path), text = BD.directory(self.path),
max_width = self.inner_dimen.w - 2*Size.padding.small, max_width = self.inner_dimen.w - 2*Size.padding.large,
truncate_left = true, truncate_left = true,
} }
path_text_container = CenterContainer:new{ path_text_container = CenterContainer:new{

Loading…
Cancel
Save