Eli Zaretskii writes: >> From: npostavs@users.sourceforge.net >> Cc: 5718@debbugs.gnu.org, ahyatt@gmail.com, gavenkoa@gmail.com >> Date: Tue, 13 Sep 2016 22:40:29 -0400 >> >> Eli Zaretskii writes: >> >> I have a patch set for fixing this and allowing the user to change the >> >> maximum margin from 0.25. The latter doesn't quite work perfectly, for >> >> some reason when setting the maximum margin to 0.5 and scroll-margin to >> >> 100, `scroll-down-command' doesn't keep point centered in the window, >> >> even though other commands (e.g. `scroll-up-command') do. [...] > > ... given the above, I now understand that your interpretation of 0.5 > is "half the window minus one line", which leaves the center line for > point. Is that so? Yes, I hadn't quite thought it through, but that was my intention. I've updated the code to clarify this.