[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: |
Wed, 13 Feb 2002 20:11:27 -0700 (MST) |
> Is there some reason we want this always to be saved?
In general: If the standard value changes a lot, we might want to save
the option even if identical to the current standard value, as it
might not be identical to future standard values.
Does that apply here? Do these standard values change a lot? I don't
see that they do. As far as I know, these defaults have never changed
since these features were first implemented.
> What precisely would go wrong if you make t the standard value?
Even when there isn't any tool bar? That might work, a user might
want to tell Emacs never to turn on the tool bar, but is not likely to
tell Emacs to always turn on the tool bar, even when Emacs would not
do it by default.
As far as I know, Emacs always turns on the tool bar by default.
Or at least it tries to. On some terminals this does not succeed
because they cannot support the feature, but Emacs always tries
to have a tool bar.
Am I mistaken?
- Re: [PATCH] Re: Save Options vs. default-input-method, (continued)
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/05
- 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
- Message not available
- Message not available
- Message not available
- Re: [PATCH] Re: Save Options vs. default-input-method, Per Abrahamsen, 2002/02/11
- 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, 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/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 <=
- 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, 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, 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