GNU bug report logs - #52231
29.0.50; pixel-scroll-precision-mode conflicts with scroll-margin

Previous Next

Full log

Message #37 received at 52231-done <at> debbugs.gnu.org (full text, mbox):

From: Yuan Fu <casouri <at> gmail.com>
To: Po Lu <luangruo <at> yahoo.com>
Cc: 52231-done <at> debbugs.gnu.org
Subject: Re: 29.0.50; pixel-scroll-precision-mode conflicts with scroll-margin
Date: Sun, 5 Dec 2021 20:45:10 -0800

> On Dec 2, 2021, at 4:33 PM, Po Lu <luangruo <at> yahoo.com> wrote:
> 
> Yuan Fu <casouri <at> gmail.com> writes:
> 
>> I tried and it now works beautifully, thanks!
> 
>> However, scroll-margin seems to still mess up scrolling when there are
>> images. You don’t even need images taller than the window height. When
>> there are some images in the window, scrolling either doesn’t take any
>> effect (beginning of the video), or jerks around but doesn’t scroll
>> down (end of the video).
> 
> I don't know how to make that work.  I will look into it however, but
> that's a separate bug, so I'm closing this report.
> 
> Thanks.

I see that you are working on allowing point to be out side window. Maybe in that case (we allow point to be outside the window), scroll-margin would not take effect and this would not be a problem anymore. 

Yuan

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.