[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, 06 Aug 2023 22:02:18 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii wrote:
>> Is there a way to get Emacs to do that? Seems like the kind
>> of thing someone would have implemented at some point.
>
> We have this only for scrolling with the scroll bar: see
> scroll-bar-adjust-thumb-portion. Implementing this for every
> possible kind of scrolling would need changes to C code,
> I think, since scrolling is actually performed by the
> display engine.
If one can get the state of scrolling in a window in Elisp one
could solve this in Elisp only since then one could write
a new scroll function on top of the old, and what it would do
is - based on that information - it would either scroll
normally or not call the function at all, if scrolling was
determined not to make any sense.
But I don't know if such data is available on the Lisp side,
if it is, I for one haven't found it ...
--
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, Eli Zaretskii, 2023/08/01
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Spencer Baugh, 2023/08/01
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/01
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Spencer Baugh, 2023/08/01
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/01
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Spencer Baugh, 2023/08/01
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Spencer Baugh, 2023/08/03
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/04
- 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/08
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Emanuel Berg, 2023/08/10
- Re: Make scroll-{up, down} move point to {start, end} of newly visible text, Eli Zaretskii, 2023/08/10
- 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