[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make scroll-{up, down} move point to {start, end} of newly visible t
From: |
Emanuel Berg |
Subject: |
Re: Make scroll-{up, down} move point to {start, end} of newly visible text |
Date: |
Sun, 20 Aug 2023 05:38:56 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii wrote:
> That data is available, but _after_ the scroll was already
> done. [...] Your idea, by contrast, was to know the results
> of scrolling _before_ scrolling
It would be computed from the current state plus the intended
scrolling, BTW the data isn't what is currently returned
by scrolling.
No, for example, by opening this very buffer, Emacs already
knows its state, since it displays "All" in the mode bar (and
I didn't scroll).
So it is already there. Somewhere!
--
underground experts united
https://dataswamp.org/~incal
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, (continued)
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/11
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/11
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/11
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/11
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/12
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/12
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/12
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/12
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/13
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/13
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text,
Emanuel Berg <=
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/22
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/23
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/24
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/24
Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Spencer Baugh, 2023/08/16
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/16
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Spencer Baugh, 2023/08/16
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/16
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Spencer Baugh, 2023/08/16
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/17