[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Idea: Be able to use text properties as face attributes
From: |
Clément Pit-Claudel |
Subject: |
Re: Idea: Be able to use text properties as face attributes |
Date: |
Sun, 26 Mar 2017 18:14:09 -0400 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 |
On 2017-03-26 17:42, Drew Adams wrote:
> That might be another possible enhancement. But I think
> that is already possible using an anonymous face (see
> (elisp) `Special Properties'):
>
> (put-text-property 30 42 'face '(:family "Palatino"))
>
> Is there something else you were thinking of here?
Not much: it's just an idea I had while reading your post. it seems somewhat
arbitrary to add a level of indirection for certain properties (if I want to
make some text bold, I need to append to its 'face property — whereas if I want
to make it invisible, I can just apply 'invisible to it. Maybe the two
concepts would gain from being unified ?
> Maybe you could elaborate, e.g., with a (fictitious) example?
> Maybe show what else you think is needed for that, beyond
> what I suggested.
I think your proposal would make what I described possible :) I was describing
a possible generalization of it ((1) suppressing the distinction between text
properties and face properties, and (2) generalizing faces to be collections of
arbitrary text properties — your proposal is essentially (2), and I think it
enables the conceptual cleanup (1)).
Clément.
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