[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problems with non-zero scroll-margin
From: |
Kim F. Storm |
Subject: |
Re: Problems with non-zero scroll-margin |
Date: |
Tue, 05 Jul 2005 11:06:07 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
"Richard M. Stallman" <address@hidden> writes:
> Besides GDB another easy to use testcase is ielm. Type `M-x ielm RET'
> and press <RET> until the prompt reaches the bottom of the window.
> When this happens point will be placed in the middle of the screen.
>
> This problem does not happen for me after my last change. However, I
> think that is be a bug. If (recenter -1) puts point inside the scroll
> margins, the scroll margin code must be broken.
>
> I will fix it to put point just within the specified margin.
>
> I could do this for move-to-window-line also, and I wrote the code to
> do that, but it might be incorrect to install it. move-to-window-line
> is supposed to move point to the text now on a certain line, and if it
> moves point to some other place, that feels like a bug to me. So the
> programs that are calling move-to-window-line probably should take
> account of scroll-margin's value in some way.
I would be VERY surprised if M-0 M-r suddenly started to scroll the
window.
Since move-to-window-line moves _point_ in the current window _without_
scrolling, I don't understand why it would ever consider scroll-margin.
But of course, the strict interpretation of scroll-margin's doc string
says that point may never occur in these margins. I think that is too
restrictive.
--
Kim F. Storm <address@hidden> http://www.cua.dk
- Problems with non-zero scroll-margin, Ralf Angeli, 2005/07/01
- Re: Problems with non-zero scroll-margin, Richard M. Stallman, 2005/07/02
- Re: Problems with non-zero scroll-margin, Ralf Angeli, 2005/07/02
- Re: Problems with non-zero scroll-margin, Richard M. Stallman, 2005/07/05
- Re: Problems with non-zero scroll-margin, Richard M. Stallman, 2005/07/05
- Re: Problems with non-zero scroll-margin, Ralf Angeli, 2005/07/05
- Re: Problems with non-zero scroll-margin,
Kim F. Storm <=
- Re: Problems with non-zero scroll-margin, Ralf Angeli, 2005/07/05
- Re: Problems with non-zero scroll-margin, Kim F. Storm, 2005/07/06
- Re: Problems with non-zero scroll-margin, Richard M. Stallman, 2005/07/05
- Re: Problems with non-zero scroll-margin, Kim F. Storm, 2005/07/06
- Re: Problems with non-zero scroll-margin, Richard M. Stallman, 2005/07/06
Re: Problems with non-zero scroll-margin, David Ponce, 2005/07/02