[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changing mode-line-inactive
From: |
Richard Stallman |
Subject: |
Re: Changing mode-line-inactive |
Date: |
Sun, 10 Feb 2002 19:09:23 -0700 (MST) |
Face changes do not happen often and they always go through certain
code. So any face change should clear caches, force redisplay, or
whatever it takes so that the change takes immediate effect.
Is this not generally true now? If so, what other cases fail?
Can someone figure out how to make it work?
- Changing mode-line-inactive, Karl Eichwalder, 2002/02/09
- Re: Changing mode-line-inactive, Eli Zaretskii, 2002/02/09
- Re: Changing mode-line-inactive,
Richard Stallman <=
- Re: Changing mode-line-inactive, Karl Eichwalder, 2002/02/11
- Re: Changing mode-line-inactive, Kim F. Storm, 2002/02/11
- Re: Changing mode-line-inactive, Richard Stallman, 2002/02/12
- Re: Changing mode-line-inactive, Richard Stallman, 2002/02/12