Fix 'attempt to divide by zero' panic (#6155)

pull/6168/head
nuid32 2 years ago committed by GitHub
parent 6e7dcb3317
commit ddc5bf4e60
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -58,7 +58,7 @@ pub fn required_size(text: &tui::text::Text, max_text_width: u16) -> (u16, u16)
let content_width = content.width() as u16; let content_width = content.width() as u16;
if content_width > max_text_width { if content_width > max_text_width {
text_width = max_text_width; text_width = max_text_width;
height += content_width / max_text_width; height += content_width.checked_div(max_text_width).unwrap_or(0);
} else if content_width > text_width { } else if content_width > text_width {
text_width = content_width; text_width = content_width;
} }

Loading…
Cancel
Save