|
From: | Richard Stallman |
Subject: | Re: [Feature request] face property `raise' |
Date: | Sun, 13 Apr 2003 07:22:50 -0400 |
A. Don't define different groups of different properties: make all properties text properties (or group all special = non-user-defined text properties together) B. Just provide one abstraction mechanism for all special properties with the ability to merge the abstract properties (like face merging). That is an interesting idea. Could you try writing a precise spec for what it would look like? One complication will be how to extend face customization to handle an unbounded set of properties. Right now there is a fixed set of face attributes.
[Prev in Thread] | Current Thread | [Next in Thread] |