File manager: fix height of menu widget (#11251)

reviewable/pr11253/r1
hius07 5 months ago committed by GitHub
parent 75d3c10496
commit 042a529fab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -619,7 +619,7 @@ function Menu:_recalculateDimen()
bottom_height = math.max(self.page_return_arrow:getSize().h, self.page_info_text:getSize().h)
+ 2 * Size.padding.button
end
if self.show_path or not self.no_title then
if self.title_bar and not self.no_title then
top_height = self.title_bar:getHeight()
if not self.title_bar_fm_style then
top_height = top_height + self.header_padding

Loading…
Cancel
Save