|
From: | Dmitry Gutov |
Subject: | bug#13791: 24.3.50; scroll-margin docstring says "recenter" |
Date: | Sat, 23 Feb 2013 17:08:35 +0400 |
User-agent: | Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130215 Thunderbird/17.0.3 |
On 23.02.2013 14:18, Eli Zaretskii wrote:
That's not entirely accurate. Depending on the value of `scroll-conservatively', the window may get scrolled instead.That's true. However, how to describe this in a manner that will not confuse the reader is less clear. "Recenter or scroll" is not very useful, IMO, as it doesn't say which will happen. Suggestions are welcome.
How about the following? """Recenter or scroll the window whenever point gets within this many lines of the top or bottom of the window.
If the value of `scroll-conservatively' is positive, the window is scrolled, otherwise it's recentered.
""" Adjust for actual behavior.
[Prev in Thread] | Current Thread | [Next in Thread] |