Re: face-alias issues

[Miles Bader]

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.]

-Miles
-- 
Do not taunt Happy Fun Ball.