[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: |
Eli Zaretskii |
Subject: |
bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily |
Date: |
Fri, 30 Nov 2018 09:28:21 +0200 |
> Date: Thu, 29 Nov 2018 16:27:13 -0800 (PST)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: 15839@debbugs.gnu.org
>
> > "If non-nil, scrolling commands can be used in Isearch mode.
> > However, the current match can't scroll offscreen if the value is t.
> > But if it's `unlimited', the current match can scroll offscreen.
> > You may want to enable `lazy-highlight-buffer' in this case.
> > If nil, scrolling commands will cancel Isearch mode."
> >
> > If you don't agree, please suggest a better wording.
>
> I prefer the standard approach: say first what the default
> (nil) does. Then say what non-nil does.
I disagree that this should be a guideline. The following two
variants are equivalently good documentation, IMO:
Variant 1:
"If non-nil, scrolling commands can be used in Isearch mode.
If nil, the default, scrolling commands will cancel Isearch mode.
If the value is t, the current match cannot be scrolled off-screen,
but that limitation is removed if the value is `unlimited'.
You may want to enable `lazy-highlight-buffer' in this case."
Variant 2:
"If nil, the default, scrolling commands will cancel Isearch mode.
If non-nil, scrolling commands can be used in Isearch mode.
If the value is t, the current match cannot be scrolled off-screen,
but that limitation is removed if the value is `unlimited'.
You may want to enable `lazy-highlight-buffer' in this case."
And I think I slightly prefer the first one. Note that I rephrased
the last part.
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, (continued)
- 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
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Drew Adams, 2018/11/29
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily,
Eli Zaretskii <=
- bug#15839: 24.3.50; `isearch-allow-scroll': be able to scroll point off screen temporarily, Drew Adams, 2018/11/30