[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#5039: 23.1.50; Info-index and Info-search should share the same hist
From: |
Drew Adams |
Subject: |
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.)