[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Text Properties And Buffer Modification
From: |
Stefan Monnier |
Subject: |
Re: Text Properties And Buffer Modification |
Date: |
Wed, 05 Dec 2018 10:32:28 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
> Whether or not the properties are saved depends on the properties and
> on the major mode. E.g., modes that use markup are expected to save
> at least some text properties.
Right: in 99% of the cases, when text-properties are modified you want
to wrap it within a with-silent-modifications.
I think when text-properties were added it would have been perfectly
fine to make them not touch the modified-ticks so the buffer is not
marked as modified. Making this change now is a good bit
more delicate, which is why we haven't made it in the last 10 years,
even though the situation was already the same 10 years ago.
> No, I don't agree with that. Don't forget that the modified status is
> important for more than just saving to a file: it is important for
> redisplaying the buffer, for example.
Really?
Stefan
- Text Properties And Buffer Modification, T.V Raman, 2018/12/04
- Re: Text Properties And Buffer Modification, Eli Zaretskii, 2018/12/05
- Re: Text Properties And Buffer Modification, Joost Kremers, 2018/12/05
- Re: Text Properties And Buffer Modification, Eli Zaretskii, 2018/12/05
- Re: Text Properties And Buffer Modification,
Stefan Monnier <=
- Re: Text Properties And Buffer Modification, T.V Raman, 2018/12/05
- Re: Text Properties And Buffer Modification, Eli Zaretskii, 2018/12/05
- Re: Text Properties And Buffer Modification, martin rudalics, 2018/12/05
- Re: Text Properties And Buffer Modification, Eli Zaretskii, 2018/12/05
- Re: Text Properties And Buffer Modification, martin rudalics, 2018/12/06
- Re: Text Properties And Buffer Modification, Eli Zaretskii, 2018/12/06
- Re: Text Properties And Buffer Modification, martin rudalics, 2018/12/06
- Re: Text Properties And Buffer Modification, Eli Zaretskii, 2018/12/06
- Re: Text Properties And Buffer Modification, martin rudalics, 2018/12/06
- Re: Text Properties And Buffer Modification, Eli Zaretskii, 2018/12/06