[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Face color changes
From: |
Richard Stallman |
Subject: |
Re: Face color changes |
Date: |
Thu, 30 Dec 2004 11:43:54 -0500 |
Perhaps a good method might be this: Default to show-all-display-specs _if_
the user has changed anything; if a face is still completely defaulted, just
show the current environment's spec case (as it does now). That way, the
first time the user customizes a face, it will overwrite all specs for that
face with a single case, applying in all environments.
That in itself is too drastic already.
- Re: Face color changes, (continued)
- Re: Face color changes, Richard Stallman, 2004/12/28
- Re: Face color changes, Eli Zaretskii, 2004/12/28
- Re: Face color changes, Richard Stallman, 2004/12/28
- Re: Face color changes, Juri Linkov, 2004/12/29
- Re: Face color changes, Alex Schroeder, 2004/12/29
- Re: Face color changes, Richard Stallman, 2004/12/29
- Re: Face color changes, Alex Schroeder, 2004/12/30
- Re: Face color changes, Richard Stallman, 2004/12/30
- Re: Face color changes, Miles Bader, 2004/12/29
- Re: Face color changes, Alex Schroeder, 2004/12/30
- Re: Face color changes,
Richard Stallman <=
- Re: Face color changes, Miles Bader, 2004/12/30
- Re: Face color changes, Richard Stallman, 2004/12/27
- Re: Face color changes, Juri Linkov, 2004/12/28
- Re: Face color changes, Jan D., 2004/12/27
- Re: Face color changes, Richard Stallman, 2004/12/27
Re: Face color changes, Richard Stallman, 2004/12/27
Re: Face color changes, Eli Zaretskii, 2004/12/27
Re: Face color changes, Richard Stallman, 2004/12/28