[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: avoid duplicates in history

From: Dan Nicolaescu
Subject: Re: avoid duplicates in history
Date: Fri, 04 Jun 2004 09:29:14 -0700

Miles Bader <address@hidden> writes:

  > Yes it is, it runs two words together for no reason.  Just use
  > `history-delete-duplicates'.

How about the default? Should this be turned on by default? 

I even got some suggestions that deleting duplicates should be the
only way to do it. 

(It would be nice to have a decision about this, so I can write the
final docs and patch). 


reply via email to

[Prev in Thread] Current Thread [Next in Thread]