Re: [PATCH] Re: Save Options vs. default-input-method

[Per Abrahamsen]

Richard Stallman <address@hidden> writes:

> I think we are having a miscommunication.  You argued that it is wrong
> to use custom-save-all for the options menu.  I said your argument was
> convincing and I agree.  Then you went ahead and rewrote the options
> menu to use custom-save-all.

I argued against customize-save-variable, there isn't any way around
custom-save-all.  Despite it name, it doesn't save all, only those
options that have explicitly been marked for saving.