[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#7771: 23.1; can't turn off font-lock-mode globally
From: |
Drew Adams |
Subject: |
bug#7771: 23.1; can't turn off font-lock-mode globally |
Date: |
Mon, 3 Jan 2011 09:29:17 -0800 |
> Would it be possible to make a quick fix for needs like those we are
> discussing here by just allowing font-lock to set a property 'noface
> instead of face? Or perhaps allow the display engine to bypass the
> 'face property?
Eeeoooew! Ugh! cough, cough, hack, gulp, sigh
bug#7771: 23.1; can't turn off font-lock-mode globally, K. Richard Pixley, 2011/01/02
bug#7771: 23.1; can't turn off font-lock-mode globally, Drew Adams, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, Lennart Borgman, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally,
Drew Adams <=
bug#7771: 23.1; can't turn off font-lock-mode globally, Lennart Borgman, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, Drew Adams, 2011/01/03
Message not availableRe: bug#7771: 23.1; can't turn off font-lock-mode globally, K. Richard Pixley, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, Eli Zaretskii, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, K. Richard Pixley, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, Eli Zaretskii, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, Lennart Borgman, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, K. Richard Pixley, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, Lennart Borgman, 2011/01/03
bug#7771: 23.1; can't turn off font-lock-mode globally, K. Richard Pixley, 2011/01/03