Unfortunately I still see clobbered history lines. When moving to a previous history line, editing it, and then invoking history-search-backward and accepting it, the editing remains on this line (as of before history-search-backward), without a way to undo it (the undo list is empty).
-- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
