bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers

[Eli Zaretskii]

> Date: Mon, 3 Dec 2012 20:02:41 +0100
> From: Dani Moncayo <dmoncayo@gmail.com>
> Cc: Stefan Monnier <monnier@iro.umontreal.ca>, Chong Yidong <cyd@gnu.org>, 
> 13055@debbugs.gnu.org
> 
> >> IMO, `scroll-margin' clearly makes sense whenever the displayed text
> >> changes, regardless of the relation between the old displayed text and
> >> the new one.
> >
> > You are reading into the variable a meaning it never had.
> 
> In that case, I'd like you to consider whether that meaning could make
> any sense.

It does to me, and I already explained why.  Twice.

> > Anyway, I'm tired of having my arguments heard and discarded.
> 
> I'm sorry you feel that way.  I don't discard your arguments.  I just
> sometimes disagree with them.

A constructive disagreement is the one where arguments of your
opponent are accepted, digested, and then countermanded by explaining
_why_ they are incorrect.  Simply reiterating your opinion
disregarding anything I say to back up mine does not make a useful
discussion.

> > The change that will give you what you asked for is below.  I will commit
> > it -- under protest -- provided that Stefan and/or Chong give their
> > blessing -- not to the changes, but to the idea of applying
> > scroll-margin to this unrelated use case, and a marginal one at that.
> 
> I don't pretend to make any pressure.

You could have fooled me.