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. _______________________________________________ Emacs-pretest-bug mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
