[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#14574: prog-prettify-symbols breaks font-locking
From: |
Juanma Barranquero |
Subject: |
bug#14574: prog-prettify-symbols breaks font-locking |
Date: |
Sun, 16 Jun 2013 12:12:56 +0200 |
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?
J
- bug#14574: prog-prettify-symbols breaks font-locking, (continued)
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/16
- 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 <=
- bug#14574: prog-prettify-symbols breaks font-locking, Eli Zaretskii, 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, 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