[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: |
Juanma Barranquero |
Subject: |
bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers |
Date: |
Mon, 3 Dec 2012 18:49:56 +0100 |
On Mon, Dec 3, 2012 at 6:46 PM, Eli Zaretskii <eliz@gnu.org> wrote:
> But this one is not motion at all. Not even remotely. It discards
> previous text and fills the buffer with an entirely new one.
I agree with you, but I also understand why, for the user, it can
appear as moving to another part of the same document, even if it
really isn't.
> You go to a different section, chapter, or even
> another manual -- all according to what the author put in the Prev
> link. It's absurd to call this "scrolling".
Agreed.
Juanma
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Dani Moncayo, 2012/12/02
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Eli Zaretskii, 2012/12/02
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Dani Moncayo, 2012/12/02
- bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Eli Zaretskii, 2012/12/02
- 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, 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 <=
- 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, 2012/12/03
bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers, Stefan Monnier, 2012/12/03