Re: Menu commands to M-x history?

[Stefan Monnier]

> I agree now with Lennart that it would generally be good to have
> menu-item commands added to `extended-command-history' - not just
> available on demand via some minibuffer key.

I don't have any strong opinion on this.  I know it wouldn't bother me.

> It would also be good to have a user option to control this feature
> (i.e., whether menu-item commands are recorded in the history).
> I think the use of an option should accommodate those who disagree
> with the feature.

Disagreed here: this is such a minor issue that it really doesn't
deserve a user option.


        Stefan