[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: definition lines in Info - 1) link, 2) highlight
From: |
Drew Adams |
Subject: |
RE: definition lines in Info - 1) link, 2) highlight |
Date: |
Tue, 15 Aug 2006 14:56:15 -0700 |
> > I think it could be a lot simpler. Just add a loop to
> > Info-fontify-node which would search for that regexp and
> > apply some faces to the parts that match.
>
> Introducing new faces is never simple.
>
> It doesn't need to use new faces. Surely there is some existing
> font lock face that would be usable.
>
> Faces are like global variables - user options. You wouldn't think
> of "reusing" some user option that happened to have a default value
> of t or nil or 100 that you were after, instead of defining a new
> user option that had the same default value - because customizing
> one might not be appropriate for the uses of the other. The same is
> true of faces.
[Rest of lecture deleted]
Uhm, Drew? There is a slight probability that Richard has some
passing acquaintance with faces. Instead of lecturing him, it might
be smarter to ask for an explanation if you don't get his point.
Feel better now David? Good.
You be smart and ask for an explanation of what the wise words mean; I'll be
stupid and disagree with his point. Progress by exegesis or dialectics?
Sorry to blaspheme in your eyes, but... Richard is (shudder) human, and is
not always right. Please don't assume that disagreeing with Richard means
not understanding his point. Likewise, Jesus, Mohammed, Buddha, Marx, Dylan,
and the rest.
As to *your* technical point in this discussion: =?
- Drew, infidel, AND as RMS-reverent as unnamable high holier-than-thous
- RE: definition lines in Info - 1) link, 2) highlight, (continued)
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/12
- Re: definition lines in Info - 1) link, 2) highlight, Eli Zaretskii, 2006/08/12
- Re: definition lines in Info - 1) link, 2) highlight, Richard Stallman, 2006/08/13
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/13
- Re: definition lines in Info - 1) link, 2) highlight, Eli Zaretskii, 2006/08/13
- Re: definition lines in Info - 1) link, 2) highlight, Richard Stallman, 2006/08/14
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/15
- Re: definition lines in Info - 1) link, 2) highlight, Eli Zaretskii, 2006/08/15
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/15
- Re: definition lines in Info - 1) link, 2) highlight, David Kastrup, 2006/08/15
- RE: definition lines in Info - 1) link, 2) highlight,
Drew Adams <=
- Re: definition lines in Info - 1) link, 2) highlight, Chong Yidong, 2006/08/15
- RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/15
- Re: definition lines in Info - 1) link, 2) highlight, Richard Stallman, 2006/08/16
RE: definition lines in Info - 1) link, 2) highlight, Drew Adams, 2006/08/13