Juan Manuel Macías <maciasch...@posteo.net> writes: > As a possible fix I'm attaching this patch.
> + (add-face-text-property start visible-start face-property) > + (add-face-text-property visible-start visible-end face-property) > + (add-face-text-property visible-end end face-property) Why not just (add-face-text-property start end face-property)? Best, Ihor
