[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#14574: prog-prettify-symbols breaks font-locking
From: |
Eli Zaretskii |
Subject: |
bug#14574: prog-prettify-symbols breaks font-locking |
Date: |
Sun, 16 Jun 2013 19:14:39 +0300 |
> From: Juanma Barranquero <lekktu@gmail.com>
> Date: Sun, 16 Jun 2013 12:12:56 +0200
> Cc: Eli Zaretskii <eliz@gnu.org>, 14574@debbugs.gnu.org
>
> On Sun, Jun 16, 2013 at 12:03 PM, Dmitry Gutov <dgutov@yandex.ru> wrote:
>
> > Maybe we should make a font-lock-specific alias for `composition', like
> > `font-lock-face' is for `face', and use that.
>
> Yes, I like that idea.
>
> But, will it complicate and/or slow redisplay?
Why do you think it could do that?
- bug#14574: prog-prettify-symbols breaks font-locking, (continued)
- bug#14574: prog-prettify-symbols breaks font-locking, Ted Zlatanov, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Ted Zlatanov, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Eli Zaretskii, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Eli Zaretskii, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Stefan Monnier, 2013/06/17
- bug#14574: prog-prettify-symbols breaks font-locking, Dmitry Gutov, 2013/06/16
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/16
- bug#14574: prog-prettify-symbols breaks font-locking,
Eli Zaretskii <=
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/16
- bug#14574: prog-prettify-symbols breaks font-locking, Eli Zaretskii, 2013/06/16
- bug#14574: prog-prettify-symbols breaks font-locking, Stefan Monnier, 2013/06/16
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/11