[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: |
Mon, 17 Jun 2013 05:45:20 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Date: Sun, 16 Jun 2013 19:14:45 -0400
>
> The simpler solution is to make prog-prettify-install add `composition'
> to the extra-managed properties.
Won't that remove _all_ composition properties, not just those added
by prog-prettify-symbols?
- bug#14574: prog-prettify-symbols breaks font-locking, (continued)
- bug#14574: prog-prettify-symbols breaks font-locking, Eli Zaretskii, 2013/06/15
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/15
- bug#14574: prog-prettify-symbols breaks font-locking, Eli Zaretskii, 2013/06/15
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/15
- bug#14574: prog-prettify-symbols breaks font-locking, Ted Zlatanov, 2013/06/15
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/15
- bug#14574: prog-prettify-symbols breaks font-locking, Ted Zlatanov, 2013/06/16
- 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/16
- bug#14574: prog-prettify-symbols breaks font-locking, Stefan Monnier, 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, 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