[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: previous-history-element could skip repeats
|
From: |
Richard Stallman |
|
Subject: |
Re: previous-history-element could skip repeats |
|
Date: |
Thu, 17 Jan 2002 23:38:43 -0700 (MST) |
Or even better: if you repeat a command which is already somewhere on
the command history, *move* it rather than *add* it to the front of
the history. (this would be a generic feature for all history lists).
We should leave this alone--there are other things we need to work on.