[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers
From: |
Dani Moncayo |
Subject: |
bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers |
Date: |
Mon, 3 Dec 2012 22:32:40 +0100 |
>> >> 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.
True - you said that I was requesting a new feature. But I didn't
perceive any intention to change the status-quo (sorry if I
misinterpreted you). When I say "consider", I mean "consider the
possibility of revising the current behavior".
>> > 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.
Good explanation. 100% agreement. I'll do my best for being more
constructive next time.
--
Dani Moncayo
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, (continued)
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Dani Moncayo, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Juanma Barranquero, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Dani Moncayo, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Eli Zaretskii, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Juanma Barranquero, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, martin rudalics, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Juanma Barranquero, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Eli Zaretskii, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Dani Moncayo, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Eli Zaretskii, 2012/12/03
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers,
Dani Moncayo <=
bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Stefan Monnier, 2012/12/03