[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#51210: Customizable other-window-for-scrolling
From: |
Juri Linkov |
Subject: |
bug#51210: Customizable other-window-for-scrolling |
Date: |
Mon, 17 Jan 2022 10:44:36 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu) |
> 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?
'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.
- 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, 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 <=
- bug#51210: Customizable other-window-for-scrolling, Eli Zaretskii, 2022/01/17
- 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