From 43d2b308abbec217f09f46857a9f099068d23613 Mon Sep 17 00:00:00 2001 From: yflory Date: Mon, 11 Jan 2021 17:39:50 +0100 Subject: [PATCH] Fix rounding error with rich text scrollbar --- www/pad/inner.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/www/pad/inner.js b/www/pad/inner.js index ea6c262d8..e498fb595 100644 --- a/www/pad/inner.js +++ b/www/pad/inner.js @@ -732,7 +732,7 @@ define([ // Get scroll position var sTop = $iframe.scrollTop(); var sTopMax = $iframe.innerHeight() - $('iframe').innerHeight(); - var scrollMax = sTop === sTopMax; + var scrollMax = Math.abs(sTop - sTopMax) < 1; // Apply the changes var patch = (DD).diff(inner, userDocStateDom);