[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default history-length should be higher
From: |
Tom |
Subject: |
Re: Default history-length should be higher |
Date: |
Sat, 25 Jan 2014 08:05:52 +0000 (UTC) |
User-agent: |
Loom/3.14 (http://gmane.org/) |
Tom <adatgyujto <at> gmail.com> writes:
>
> All users should know at least M-r, it's in the manual, so it
> should be no argument against a longer history list.
>
I checked the manual to make sure and I also learned that isearch can
be used to search the history which was new for me.
One always learns new things with emacs and isearch seems a quite
efficent way to search through a longer history:
If an incremental search fails in the minibuffer, it tries searching
the minibuffer history. *Note Minibuffer History::. You can visualize
the minibuffer and its history as a series of "pages", with the
earliest history element on the first page and the current minibuffer
on the last page. A forward search, `C-s', searches forward to later
pages; a reverse search, `C-r', searches backwards to earlier pages.
Like in ordinary buffer search, a failing search can wrap around, going
from the last page to the first page or vice versa.
- Default history-length should be higher, Tom, 2014/01/24
- Re: Default history-length should be higher, Stefan Monnier, 2014/01/24
- RE: Default history-length should be higher, Drew Adams, 2014/01/24
- Re: Default history-length should be higher, Tom, 2014/01/25
- RE: Default history-length should be higher, Drew Adams, 2014/01/25
- Re: Default history-length should be higher, Tom, 2014/01/25
- Re: Default history-length should be higher,
Tom <=
- RE: Default history-length should be higher, Drew Adams, 2014/01/25
- Re: Default history-length should be higher, Michael Welsh Duggan, 2014/01/26
- Re: Default history-length should be higher, Bozhidar Batsov, 2014/01/26
- Re: Default history-length should be higher, Eli Zaretskii, 2014/01/26
- Re: Default history-length should be higher, Bozhidar Batsov, 2014/01/26
- Re: Default history-length should be higher, Óscar Fuentes, 2014/01/26
- RE: Default history-length should be higher, Drew Adams, 2014/01/26
- Re: Default history-length should be higher, Trent W. Buck, 2014/01/26
- Re: Default history-length should be higher, Stefan Monnier, 2014/01/26