Re: Insufficient functionality of yank-excluded-properties

[Miles Bader]

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!