[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: slow redisplay after changing cursor color
From: |
Richard Stallman |
Subject: |
Re: slow redisplay after changing cursor color |
Date: |
Mon, 13 Sep 2004 19:05:12 -0400 |
An much simpler approach would be to state in the docs (manual and doc
string) that the effect of deriving other faces from "cursor",
"mouse" and a few other special-purpose faces is undefined.
We could even give those faces a special 'no-derive property so
e.g. defface / customize-face could check for and avoid such faces.
Then we can handle those faces specially by simply not calling
free_all_realized_faces when changing them.
That sounds good. Please do it?
- slow redisplay after changing cursor color, NAKAMURA Toshikazu, 2004/09/12
- Re: slow redisplay after changing cursor color, Richard Stallman, 2004/09/13
- Re: slow redisplay after changing cursor color, Kim F. Storm, 2004/09/13
- Re: slow redisplay after changing cursor color,
Richard Stallman <=
- Re: slow redisplay after changing cursor color, Kim F. Storm, 2004/09/14
- Re: slow redisplay after changing cursor color, Kim F. Storm, 2004/09/14
- Re: slow redisplay after changing cursor color, Stefan Monnier, 2004/09/14
- Re: slow redisplay after changing cursor color, Kim F. Storm, 2004/09/14
- Re: slow redisplay after changing cursor color, NAKAMURA Toshikazu, 2004/09/15
- Re: slow redisplay after changing cursor color, Richard Stallman, 2004/09/15
- Re: slow redisplay after changing cursor color, Kim F. Storm, 2004/09/15
- Re: slow redisplay after changing cursor color, Richard Stallman, 2004/09/17