[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 00:48:34 +0200 |
On Sat, Jun 15, 2013 at 8:43 PM, Eli Zaretskii <eliz@gnu.org> wrote:
> Probably because turning off font-lock removes the font-lock text
> properties, but doesn't remove the 'composition' text property.
Yes. But IIUC what Ted said, turning off font-lock mode is removing
the prettification for him. ??
As for the composition text property, I suppose it could be possible
to mark the prettified text during font-locking and use some font-lock
-hook or -function to remove it at turn-off time?
- bug#14574: prog-prettify-symbols breaks font-locking, (continued)
- bug#14574: prog-prettify-symbols breaks font-locking, Ted Zlatanov, 2013/06/11
- bug#14574: prog-prettify-symbols breaks font-locking, Glenn Morris, 2013/06/11
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/11
- bug#14574: prog-prettify-symbols breaks font-locking, Ted Zlatanov, 2013/06/11
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/11
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/11
- bug#14574: prog-prettify-symbols breaks font-locking, Ted Zlatanov, 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, Eli Zaretskii, 2013/06/15
- bug#14574: prog-prettify-symbols breaks font-locking,
Juanma Barranquero <=
- 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, 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/17
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/17