[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Idea: Be able to use text properties as face attributes
From: |
Eli Zaretskii |
Subject: |
Re: Idea: Be able to use text properties as face attributes |
Date: |
Mon, 27 Mar 2017 17:54:26 +0300 |
> From: Clément Pit-Claudel <address@hidden>
> Date: Sun, 26 Mar 2017 16:01:13 -0400
>
> This sounds interesting, and the proposal is clear and nice. Can you think
> of
> concrete examples where it would things much easier for package developers
> (your example with 'invisible is nice)?
>
> I can think of one, if I understand correctly. Currently, if one want
> font-lock to apply properties other tan face, then one must add these
> properties to font-lock-extra-managed-props — and then font-lock will remove
> these properties indiscriminately, regardless of where they came from. This
> makes things difficult sometimes. With your proposal, these attributes could
> be
> tucked in a face. On the other hand, one could imagine font-lock being
> smarter
> and removing only the properties that it added.
Or we could provide a JIT mechanism to apply properties other than
face properties.
> Fundamentally, is there a good reason to have a distinction between
> face properties and text properties ?
I don't think I understand the question. Face properties _are_ text
properties. Or are you talking about face attributes? If the latter,
then every text property can potentially have attributes, so face
attributes are not special in this respect.
RE: Idea: Be able to use text properties as face attributes, Drew Adams, 2017/03/27
- RE: Idea: Be able to use text properties as face attributes, Drew Adams, 2017/03/27
- Re: Idea: Be able to use text properties as face attributes, Eli Zaretskii, 2017/03/27
- RE: Idea: Be able to use text properties as face attributes, Drew Adams, 2017/03/27
- Re: Idea: Be able to use text properties as face attributes, Eli Zaretskii, 2017/03/27
- RE: Idea: Be able to use text properties as face attributes, Drew Adams, 2017/03/27
- Re: Idea: Be able to use text properties as face attributes, Eli Zaretskii, 2017/03/28
- Re: Idea: Be able to use text properties as face attributes, Stefan Monnier, 2017/03/28
- RE: Idea: Be able to use text properties as face attributes, Drew Adams, 2017/03/28
- Re: Idea: Be able to use text properties as face attributes, Stefan Monnier, 2017/03/28