[Top][All Lists]

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]