Fix clippy lints

This commit is contained in:
Héctor Ramón Jiménez 2024-02-03 14:19:08 +01:00
parent db9ca1a147
commit 719798441d
No known key found for this signature in database
GPG key ID: 7CC46565708259A7

View file

@ -406,12 +406,13 @@ where
shell.publish(on_edit(action)); shell.publish(on_edit(action));
} }
Update::Scroll(mut lines) => { Update::Scroll(lines) => {
lines += state.partial_scroll; let lines = lines + state.partial_scroll;
state.partial_scroll = lines.fract(); state.partial_scroll = lines.fract();
shell.publish(on_edit(Action::Scroll { shell.publish(on_edit(Action::Scroll {
lines: lines as i32, lines: lines as i32,
})) }));
} }
Update::Unfocus => { Update::Unfocus => {
state.is_focused = false; state.is_focused = false;