bug#39207: WITH dgb symbols Re: bug✓39207: 28.0.50; crash when sending gnus message

[Robert Pluim]

>>>>> On Wed, 22 Jan 2020 21:57:59 +0100, Andreas Schwab 
>>>>> <schwab@linux-m68k.org> said:

    Andreas> On Jan 22 2020, Robert Pluim wrote:
    >> Perhaps Iʼm missing something, but isnʼt this just
    >> 
    >> (delete-region (point) (1+ (point)))
    >> (insert mark)

    Andreas> That wouldn't preserve text properties.

Hmm, yes. I guess you could always use text-properties-at to copy the
properties over. Is there no Emacs primitive that says 'replace this
text in the buffer with this other text and preserve the properties'
(assuming the lengths are the same, of course).

Robert