|
From: | David De La Harpe Golden |
Subject: | Re: The unwarranted scrolling assumption |
Date: | Sun, 20 Jun 2010 22:40:44 +0100 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.9) Gecko/20100515 Icedove/3.0.4 |
On 20/06/10 19:13, Eli Zaretskii wrote:
I succeeded to reproduce recentering in HELLO, and fixed the problem which caused that on my machine. Please see if revno 100623 fixes the problem for you as well, i.e. there's no more recentering in HELLO (or elsewhere), with these settings: (setq scroll-preserve-screen-position 'always scroll-conservatively most-positive-fixnum scroll-step 0) (You can also set redisplay-dont-pause, if you want.)
window.c: Still recentering sometimes.I guess you've fixed _something_, just not the issue Lennart is talking about: HELLO is definitely recentering less often than it was (making the window narrower so that lines wrap makes it happen more repeatably).
However, when redisplay-dont-pause is nil, sometimes itstops updating for a bit but with scroll bar still moving, only eventually updating. Maybe that was previously masked.
[Prev in Thread] | Current Thread | [Next in Thread] |