[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Re: Save Options vs. default-input-method
From: |
Richard Stallman |
Subject: |
Re: [PATCH] Re: Save Options vs. default-input-method |
Date: |
Thu, 7 Feb 2002 07:57:05 -0700 (MST) |
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?
- Re: [PATCH] Re: Save Options vs. default-input-method, (continued)
- Re: [PATCH] Re: Save Options vs. default-input-method, Richard Stallman, 2002/02/12
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/12
- Re: [PATCH] Re: Save Options vs. default-input-method, Richard Stallman, 2002/02/13
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/14
- Re: [PATCH] Re: Save Options vs. default-input-method, Richard Stallman, 2002/02/15
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/17
- Re: [PATCH] Re: Save Options vs. default-input-method, Richard Stallman, 2002/02/17
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/19
- Re: [PATCH] Re: Save Options vs. default-input-method,
Richard Stallman <=
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/07
- Re: [PATCH] Re: Save Options vs. default-input-method, Pavel JanÃk, 2002/02/07
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/08
- Re: [PATCH] Re: Save Options vs. default-input-method, Richard Stallman, 2002/02/07
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/07
- Re: [PATCH] Re: Save Options vs. default-input-method, Richard Stallman, 2002/02/08