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

Previous Next

Full log

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

From: Drew Adams <drew.adams <at> oracle.com>
To: Stefan Kangas <stefan <at> marxist.se>, Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 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, 2 Nov 2019 08:19:53 -0700 (PDT)

> 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.

+1 for keeping separate histories.

> 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.

-1.  (Not in favor of that.)

Previous Next

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