pogmommy/zellij
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(rendering): do not render if resizing screen to same size (#3413)

Browse source
This commit is contained in:
Aram Drevekenin 2024-06-11 15:19:29 +02:00 • committed by GitHub
parent 56baf0b13d
commit 0db3db059d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 11 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
zellij-server/src/screen.rs
View file

@ -1038,15 +1038,19 @@ impl Screen {
pub fn resize_to_screen(&mut self, new_screen_size: Size) -> Result<()> {
let err_context = || format!("failed to resize to screen size: {new_screen_size:#?}");
self.size = new_screen_size;
for tab in self.tabs.values_mut() {
tab.resize_whole_tab(new_screen_size)
if self.size != new_screen_size {
self.size = new_screen_size;
for tab in self.tabs.values_mut() {
tab.resize_whole_tab(new_screen_size)
.with_context(err_context)?;
tab.set_force_render();
}
self.log_and_report_session_state()
.with_context(err_context)?;
tab.set_force_render();
self.render(None).with_context(err_context)
} else {
Ok(())
}
self.log_and_report_session_state()
.with_context(err_context)?;
self.render(None).with_context(err_context)
}
pub fn update_pixel_dimensions(&mut self, pixel_dimensions: PixelDimensions) {