diff INSTALL @ 3553:5f9688c0b704

(Fadd_text_properties): Don't treat the initial interval specially, aside from splitting off the part starting where we want to start changing things. (Fremove_text_properties): Likewise. For ending interval, split it left as in Fadd_text_properties. (Fset_text_properties): Don't set starting interval if it goes past END. Instead, split it left and set the left part.
author Richard M. Stallman <rms@gnu.org>
date Mon, 07 Jun 1993 22:17:35 +0000
parents 8788744c0c64
children e9768f0d0653
line wrap: on
line diff