fix(ui): render correctly after tab closing (#670)

* fix(ui): render correctly after tab closing

* That was a silly bug...
This commit is contained in:
Brooks Rady 2021-08-30 05:20:36 +01:00 committed by GitHub
parent e54dfab40f
commit 3e6fcffb27
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -266,11 +266,15 @@ impl Screen {
} else {
self.active_tab_index = self.tab_history.pop().unwrap();
for t in self.tabs.values_mut() {
if t.position == self.active_tab_index.unwrap() {
t.set_force_render()
}
if t.position > active_tab.position {
t.position -= 1;
}
}
self.update_tabs();
self.render();
}
}