Nav fix, fixes #1197 (#2270)

* Nav fix, fixes #1197
This commit is contained in:
Totoo 2024-09-26 14:29:35 +02:00 committed by GitHub
parent 20f45e88f3
commit a21e9ca1af
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -722,8 +722,8 @@ void NavigationView::update_view() {
auto top_view = top.view.get(); auto top_view = top.view.get();
add_child(top_view); add_child(top_view);
top_view->set_parent_rect({{0, 0}, size()}); auto newSize = (is_top()) ? Size{size().width(), size().height() - 16} : size(); // if top(), then there is the info bar at the bottom, so leave space for it
top_view->set_parent_rect({{0, 0}, newSize});
focus(); focus();
set_dirty(); set_dirty();