From c02371406090d8391589b15b2858e33c133ccb2b Mon Sep 17 00:00:00 2001 From: Rene Kievits Date: Mon, 15 May 2023 13:03:42 +0200 Subject: [PATCH] add rubato animation to overflow widget for smoother scrolling, can lagg for big lists --- awesome/src/lib/overflow_widget/overflow.lua | 1 - 1 file changed, 1 deletion(-) diff --git a/awesome/src/lib/overflow_widget/overflow.lua b/awesome/src/lib/overflow_widget/overflow.lua index ac513c3..77b3646 100644 --- a/awesome/src/lib/overflow_widget/overflow.lua +++ b/awesome/src/lib/overflow_widget/overflow.lua @@ -338,7 +338,6 @@ function overflow:set_scroll_factor(factor) end self.rubato_timed.target = math.min(1, math.max(factor + (self.rubato_timed.target - self.rubato_timed.pos), 0)) - print(self.rubato_timed.target) --self._private.scroll_factor = math.min(1, math.max(factor, 0)) --self:emit_signal('widget::layout_changed')