gitui-org/gitui
1
0
Fork 0
mirror of https://github.com/gitui-org/gitui.git synced 2026-10-12 02:14:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix potential panic

Browse Source
This commit is contained in:
extrawurst
2023-08-22 13:19:17 +02:00
parent 9e69f251a8
commit a5b898c718
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/ui/mod.rs
+1 -1
View File
@@ -22,7 +22,7 @@ pub const fn calc_scroll_top(
height_in_lines: usize,
selection: usize,
) -> usize {
if current_top + height_in_lines <= selection {
if current_top.saturating_add(height_in_lines) <= selection {
selection.saturating_sub(height_in_lines) + 1
} else if current_top > selection {
selection