GNU bug report logs - #5039
23.1.50; Info-index and Info-search should share the same history

Previous Next

Full log

Message #21 received at 5039 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Stefan Kangas <stefan <at> marxist.se>
Cc: Juri Linkov <juri <at> jurta.org>, 5039 <at> debbugs.gnu.org, jidanni <at> jidanni.org
Subject: Re: bug#5039: 23.1.50; Info-index and Info-search should share the
 same history
Date: Sat, 02 Nov 2019 16:02:14 +0100

Stefan Kangas <stefan <at> marxist.se> writes:

> My vote would be to keep the separate histories, since the type is
> different.  It would be confusing to find regexps in the history when
> searching for strings.

Yup.

> Perhaps we could, as a special case, make Info-index pull in the first
> item from Info-search on the first invocation of M-p, but I don't know
> if it's worth the effort.

No, I don't think so, so I'm closing this bug report.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.