Re: pruning "redundant" properties while editing

[Pierre Abbat]

Would it be possible for the char props to have a "default" value, which would
be whatever was set for the style? Let's say you had the following:
<p style="Heading1">Late one <c props="font-size:default">morning</c> in the <c
props="font-size:15pt">middle</c> of the night</p>
and you changed the font-size of Heading1 to 15. Everything would be 15. You
then change it to 14 and "middle" is still 15. You change "middle" to default
and it's 14. You change "morning" to 14 and nothing visibly changes. You then
change Heading1 to 16 and "morning" is still 14 while "middle", being default,
is now 16 along with the rest.

phma