[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#51210: Customizable other-window-for-scrolling
From: |
Eli Zaretskii |
Subject: |
bug#51210: Customizable other-window-for-scrolling |
Date: |
Mon, 17 Jan 2022 14:33:21 +0200 |
> From: Juri Linkov <juri@linkov.net>
> Cc: rudalics@gmx.at, 51210@debbugs.gnu.org
> Date: Mon, 17 Jan 2022 10:44:36 +0200
>
> > If you must change it, please introduce a user option, by default
> > off.
>
> An option could be added indeed, but wasn't 'recenter' intended
> only to refresh the screen, not to recenter?
No, it's the other way around: the command was meant to recenter and
_also_ to refresh the screen.
> 'beginning-of-buffer-other-window' has such line at the end:
>
> (recenter '(t))
>
> Clearly it makes no sense to recenter at the beginning of the buffer.
> So the value '(t)' was intended only to refresh the screen?
> Then the same line in 'end-of-buffer-other-window'
> should only refresh the screen, not recenter.
I'm not sure I understand how all of this is relevant. Please
elaborate.
- bug#51210: Customizable other-window-for-scrolling, (continued)
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/11
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/11
- bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/11
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/12
- bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/12
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/12
- bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/12
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/12
- bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/12
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/17
- bug#51210: Customizable other-window-for-scrolling,
Eli Zaretskii <=
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/24
- bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/24
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/27
- bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/28
- bug#51210: Customizable other-window-for-scrolling, Juri Linkov, 2022/01/29
bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/04