[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: |
Sat, 15 Jun 2013 18:57:13 +0200 |
On Sat, Jun 15, 2013 at 10:23 AM, Ted Zlatanov <tzz@lifelogs.com> wrote:
> On Tue, 11 Jun 2013 23:50:18 +0200 Juanma Barranquero <lekktu@gmail.com>
> wrote:
>
> JB> BTW, shouldn't turning font-lock-mode off disable the pretiffication?
>
> They are entirely implemented by font-lock keywords, so I would assume so.
>
> At least for me, that works every time.
That's not what I see. M-x font-lock-mode turns off font-locking, but
the compositions to λ remain. Is that another bug?
bug.png
Description: PNG image
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/08
- bug#14574: prog-prettify-symbols breaks font-locking, Glenn Morris, 2013/06/11
- 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 <=
- 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, 2013/06/16
- bug#14574: prog-prettify-symbols breaks font-locking, Juanma Barranquero, 2013/06/16