|
| From: | Richard Stallman |
| Subject: | Re: Proposal to make font-locking easier to understand |
| Date: | Thu, 21 Feb 2002 21:30:50 -0700 (MST) |
I doubt we'll be able to find names that are better enough
to justify the hassle of changing them.
I think the renamings just proposed are good ones.
We should make those changes, if nobody suggests better ones.
| [Prev in Thread] | Current Thread | [Next in Thread] |