Eli Zaretskii writes: >> From: Juri Linkov >> Cc: Eli Zaretskii , 76028@debbugs.gnu.org, Stefan Kangas >> >> Date: Thu, 06 Feb 2025 19:24:13 +0200 >> >> >> But anyway it seems text properties are the least intrusive approach. >> > >> > It seems so. The patch gets quite short. I have attached the updated >> > patch to this mail. >> >> Thanks, I could push if there are no more objections, >> and no NEWS required for this change. > > I think this does have to be called out in NEWS, including the new > user option. In a sense, this is an incompatible behavior change, so > we cannot introduce it silently. Agree. I have attached an updated patch to this mail, where the change is announced in the NEWS. Daniel