* Pavel Roskin <[EMAIL PROTECTED]> [Mon, 09 Dec 2002]: > > > Here is the new patch. It allows the user to set the > > > HISTCONTROL environment variable to a value of "ignoredups" > > > if he wants to have only unique entries in history widgets. > > > > Maybe duplicates should be always ignored? > > Maybe. The only widget where the duplicates make sense is the > command line (the history is shown by Alt-h on the panels).
[...] > If anybody will seriously miss full history with duplicates in > any widget, please explain the reason. So what's the final decision ? Should I prepare a new version of the patch in which the duplicates will always be ignored ? -- Tomas Styblo <[EMAIL PROTECTED]> PGP: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0xC97EA4B6 _______________________________________________ Mc-devel mailing list [EMAIL PROTECTED] http://mail.gnome.org/mailman/listinfo/mc-devel
