[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Idea: Be able to use text properties as face attributes
From: |
Stefan Monnier |
Subject: |
Re: Idea: Be able to use text properties as face attributes |
Date: |
Tue, 28 Mar 2017 18:45:42 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) |
>> This said, I think using face attributes is a bad idea.
> Reason? I can be convinced, but only by reasons.
Faces (and face attributes) are handled by the display engine, which is
a delicate and performance sensitive piece of code. Messing with that
is tricky and can easily impose serious performance problems.
> locations. But my proposal is purposely aimed at
> FACES and where they are applied, for the reasons
> given above. It's not _only_ about packaging text
> props together to act on them in an abstract way.
I'd rather use another property, and then make font-lock use that new
property instead.
Stefan
- Re: Idea: Be able to use text properties as face attributes, (continued)
- 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 <=
- 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
- RE: Idea: Be able to use text properties as face attributes, Drew Adams, 2017/03/29
- 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, Yuri Khan, 2017/03/27
Re: Idea: Be able to use text properties as face attributes, Eli Zaretskii, 2017/03/27