[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Copying preserves font-lock-face

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]