|
| From: | Richard Stallman |
| Subject: | Re: Copying preserves font-lock-face |
| Date: | Tue, 26 Sep 2006 18:10:57 -0400 |
> Certainly with Enriched mode on, we would not want
> any faces to be lost.
Enriched mode doesn't use font-lock-face.
That's right; it should be converted to `face'.
I implemented it already. Everyone else can stop thinking about this
one now.
| [Prev in Thread] | Current Thread | [Next in Thread] |