Merge pull request #81 from ClementTsang/fix_resize_scroll

Fix resizing breaking scrolling
This commit is contained in:
Clement Tsang 2020-03-10 21:55:49 -04:00 committed by GitHub
commit d0bf247291
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -147,6 +147,8 @@ impl Painter {
self.width = current_width;
} else if self.height != current_height || self.width != current_width {
app_state.is_resized = true;
self.height = current_height;
self.width = current_width;
}
terminal.autoresize()?;