[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: new text property

From: Miles Bader
Subject: Re: new text property
Date: 12 Jun 2002 18:05:03 +0900

address@hidden (Kai Großjohann) writes:
> I guess that the new feature should be changed in such a way that as
> many font-lock-* variables as reasonable should be respected.

The main point about the `new feature' is that font-lock itself does
almost nothing, the font-lock-using mode does all the work.  If those
modes want to respect other font-lock-* variables, they certainly can.

The secret to creativity is knowing how to hide your sources.
  --Albert Einstein

reply via email to

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