[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: |
Eli Zaretskii |
Subject: |
bug#7771: 23.1; can't turn off font-lock-mode globally |
Date: |
Mon, 03 Jan 2011 20:26:50 +0200 |
> From: "Drew Adams" <drew.adams@oracle.com>
> Cc: <rgm@gnu.org>, <7771@debbugs.gnu.org>
> Date: Mon, 3 Jan 2011 10:09:47 -0800
>
> > I think a more accurate statement would be
> > "compilation-mode needs font-lock to be turned on for its
> > functionality, so it turns it on unconditionally in the compilation
> > buffer."
>
> Maybe that is more accurate, but the point of the thread is that
> compilation-mode should _not_ "need font-lock to be turned on for its
> functionality".
I agree. I just wanted to point out that users who turn font-lock off
will not have M-x compile broken.
- bug#7771: 23.1; can't turn off font-lock-mode globally, (continued)
- Message not available
- Re: 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, Stefan Monnier, 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, Drew Adams, 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, Drew Adams, 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, Drew Adams, 2011/01/03
- bug#7771: 23.1; can't turn off font-lock-mode globally,
Eli Zaretskii <=
- Message not available
- Re: bug#7771: 23.1; can't turn off font-lock-mode globally, K. Richard Pixley, 2011/01/03
- Message not available
- Re: bug#7771: 23.1; can't turn off font-lock-mode globally, K. Richard Pixley, 2011/01/03
- Message not available
- Re: 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, 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