Re: buffer-modified-tick and text properties

[JD Smith]

> On Apr 20, 2024, at 10:09 AM, Eli Zaretskii <eliz@gnu.org> wrote:
> 
>> From: JD Smith <jdtsmith@gmail.com>
>> Date: Sat, 20 Apr 2024 08:47:42 -0400
>> 
>> I had hoped to compare a saved and current buffer-modified-tick in a 
>> post-command-hook, to tell me whether
>> the command that lead to it had modified the buffer text, but this is not a 
>> reliable way to do so when text
>> properties are being changed as a result of non-edit commands (like motion).
> 
> If you want to know only about changes to characters, perhaps
> buffer-chars-modified-tick is a better function to use?

Missed this function; it should work perfectly, thanks. I wonder, aside from 
text properties, are there any other changes within the buffer that cause 
buffer-modified-tick but not buffer-chars-modified-tick to be incremented?