Re: Text Properties And Buffer Modification

[martin rudalics]

>> I would have thought that buffer redisplay is triggered only by
>> bset_redisplay and BUF_COMPUTE_UNCHANGED which IIUC are called the
>> same way for overlays and text properties.  Am I wrong?
>
> Yes.  The display engine sometimes needs to know not only whether the
> buffer needs to be redisplayed, but also _why_.  Search xdisp.c for
> MODIFF, and you will see.

I have tried to but still don't see the difference (but for setting
last_had_star).  I'm interested because I'd like to know whether the
'restore-buffer-modified-p' mechanism could be problematic, somehow.

martin