[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.
-Miles
--
Occam's razor split hairs so well, I bought the whole argument!