From 719798441db735149018e2eab47f377692c29196 Mon Sep 17 00:00:00 2001 From: Héctor Ramón Jiménez Date: Sat, 3 Feb 2024 14:19:08 +0100 Subject: Fix `clippy` lints --- widget/src/text_editor.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/widget/src/text_editor.rs b/widget/src/text_editor.rs index edc2e386..8d431991 100644 --- a/widget/src/text_editor.rs +++ b/widget/src/text_editor.rs @@ -406,12 +406,13 @@ where shell.publish(on_edit(action)); } - Update::Scroll(mut lines) => { - lines += state.partial_scroll; + Update::Scroll(lines) => { + let lines = lines + state.partial_scroll; state.partial_scroll = lines.fract(); + shell.publish(on_edit(Action::Scroll { lines: lines as i32, - })) + })); } Update::Unfocus => { state.is_focused = false; -- cgit