[Top][All Lists]

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

Re: Insufficient functionality of yank-excluded-properties

From: Miles Bader
Subject: Re: Insufficient functionality of yank-excluded-properties
Date: 22 Apr 2002 17:22:36 +0900

Richard Stallman <address@hidden> writes:
> That might be the right thing to do.  In addition, perhaps we should
> avoid puttin on a `mouse-face' property via `category'.  We could change
> the Help mode code to put on the `mouse-face' property separately.
> Should we do that?

Well, the reason it uses `category' is because it makes the code simpler.
Going through and ensuring that button-face is only ever used as a
direct property would be kind of annoying, I think.

If you remove the `category' property entirely for buttons (it's
buttons that use it), I suspect that the only interesting thing that
would be lost would the face the button uses.

Occam's razor split hairs so well, I bought the whole argument!

reply via email to

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