Re: `add-face'

[Lars Magne Ingebrigtsen]

Stefan Monnier <address@hidden> writes:

> Yup, it's much better to provide a dedicated add-face-text-property.

Yeah, that probably true.  I only put it in `add-text-properties'
because that's the work horse that does a fair bit of the property
mangling.  But perhaps it would make sense to leave
`add-text-properties' the way it is, and factor out the body of the
function, so that `add-face-text-property' could reuse it.

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/