[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off
From: |
Juri Linkov |
Subject: |
bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily |
Date: |
Sun, 25 Nov 2018 00:45:20 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (x86_64-pc-linux-gnu) |
> 2. What's more, the lazy highlighting of search hits is even more
> limited currently. When you scroll to the current limit, there can be
> lots of search hits that are not highlighted.
>
> One of the reasons for scrolling is to see what search hits lie beyond
> the currently shown text. This is already partly defeated, in that
> even when you scroll some of the hits are not highlighted. This seems
> more like a bug, but if the enhancement of #1 is done then it should
> (it needs to) take care of #2 as well: Whatever text is shown should
> have all of its search hits highlighted with lazy highlighting.
Drew, do you agree that this your request is implemented now
with lazy-highlight-buffer, so bug#15839 could be closed?
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily,
Juri Linkov <=
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Drew Adams, 2018/11/24
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Juri Linkov, 2018/11/25
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Drew Adams, 2018/11/25
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Juri Linkov, 2018/11/26
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Drew Adams, 2018/11/26
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Juri Linkov, 2018/11/27
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Drew Adams, 2018/11/28
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Juri Linkov, 2018/11/28
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Drew Adams, 2018/11/28
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Juri Linkov, 2018/11/29