GNU bug report logs - #10902
24.0.93; Point displayed after end of buffer with scroll-margin

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: Johan Bockgård <bojohan <at> gnu.org>
Cc: 10902-done <at> debbugs.gnu.org
Subject: Re: bug#10902: 24.0.93;
	Point displayed after end of buffer with scroll-margin
Date: Sat, 03 Mar 2012 21:06:13 +0200

> From: Johan Bockgård <bojohan <at> gnu.org>
> Cc: 10902 <at> debbugs.gnu.org
> Date: Sat, 03 Mar 2012 18:28:41 +0100
> 
> Eli Zaretskii <eliz <at> gnu.org> writes:
> 
> >> > I will take a look soon.  Thanks for reporting this.
> >> >
> >> > P.S.  Is there a real-life use-case behind this?  I mean, setting a
> >> > scroll margin that is wider than the window sounds... how should I put
> >> > it... weird, no?
> >> 
> >> The precise value of scroll-margin is not important. It happens for any
> >> value > 1.
> >
> > But only if the window height is 2 lines more than the buffer line
> > count, according to my testing.
> 
> Mine too.
> 
> > Anyway, I think I fixed this (in revision 107481 on the trunk).
> > Please see if there are any leftovers after that fix.
> 
> It fixes the problem for me. Thanks.

Thanks, I'm closing the bug.

Previous Next

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