[Top][All Lists]

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

Re: face-alias issues

From: Miles Bader
Subject: Re: face-alias issues
Date: Sat, 25 Jun 2005 08:25:55 +0900

Ok, absent any comments, I'll add a `deffacealias' which sets the
face-alias property and copies (moves?) any custom face properties,
and replace all the existing uses of (put 'face-alias).

If the result is solid enough, maybe it would be safe to rename the
`font-lock-...-face' faces as well.  [I didn't do so before because
they are far more widely used than other faces.]

Do not taunt Happy Fun Ball.

reply via email to

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