[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/disp
From: |
Eli Zaretskii |
Subject: |
bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode |
Date: |
Sat, 01 Aug 2020 19:44:24 +0300 |
> From: Kevin Liu <kevin@nivekuil.com>
> Date: Sat, 01 Aug 2020 03:39:57 -0700
>
> (progn
> (global-hl-line-mode)
> (setq scroll-margin 5)
> (setq scroll-conservatively 101)
> (view-hello-file)
> (end-of-buffer))
>
> Then (previous-line) until you see the problem.
I only see this when EOB is before end of the window, which I don't
think is a bug.
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode, Kevin Liu, 2020/08/01
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode,
Eli Zaretskii <=
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode, Kevin Liu, 2020/08/01
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode, Eli Zaretskii, 2020/08/02
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode, Kevin Liu, 2020/08/02
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode, Eli Zaretskii, 2020/08/02
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode, Kevin Liu, 2020/08/02
- bug#42653: 28.0.50; scroll-margin is sometimes ignored with hl-line/display-line-numbers-mode, Eli Zaretskii, 2020/08/03