[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: can't turn off font-lock
From: |
Karl Berry |
Subject: |
Re: can't turn off font-lock |
Date: |
Sun, 12 Aug 2007 17:54:30 -0500 |
That's not fontification, those are faces set by other features.
I'm sorry for being unclear; this distinction was unknown to me. I was
using "fontification" as a generic term, meaning "appearing some fancy
kind of output", whether colors, a different font, bold, underlined,
whatever; using a "face", I guess.
I don't remember coming across any technical definition of
"fontification" in the manual, although I could easily have missed it.
karl