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

[Richard Stallman]

    A new function 'mark-variable-for-saving' function would be better, as
    the old function already is used with its current semantics.

I see only one use of it, aside from the ones in the options menu
which we are talking about changing now.  But that new
function seems like an ok approach too.

Could you please rename that new function to customize-mark-to-save?