[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changing the no-toolkit scrollbar thumb color. (minor issue)
From: |
Richard Stallman |
Subject: |
Re: Changing the no-toolkit scrollbar thumb color. (minor issue) |
Date: |
Tue, 30 Sep 2003 08:22:18 -0400 |
This does not go far enough. You should not be able to enter a
customization buffer when customization does not work.
Regarded as a general principle, that would be very hard to carry out.
Emacs has many customizable options that only have an effect in
certain situations. In principle, we could try to disable the ability
to customize them when not in those situations, but that would be a
lot of work.
It would also be wrong, in a sense, because customizing these options
and saving the changes can be meaningful even if the current situation
is such that changing the option has no effect.
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), (continued)
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Luc Teirlinck, 2003/09/28
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Luc Teirlinck, 2003/09/28
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Robert J. Chassell, 2003/09/28
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Luc Teirlinck, 2003/09/28
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Robert J. Chassell, 2003/09/28
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Luc Teirlinck, 2003/09/28
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Robert J. Chassell, 2003/09/29
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue),
Richard Stallman <=
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Richard Stallman, 2003/09/29
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Robert J. Chassell, 2003/09/29
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Richard Stallman, 2003/09/30
- Message not available
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Danilo Segan, 2003/09/30
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Luc Teirlinck, 2003/09/29
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Stefan Monnier, 2003/09/30
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Miles Bader, 2003/09/30
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Stefan Monnier, 2003/09/30
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Richard Stallman, 2003/09/30
- Re: Changing the no-toolkit scrollbar thumb color. (minor issue), Robert J. Chassell, 2003/09/28