Re: kill ring menu

[Richard Stallman]

    Incidentally, I notice what seems to be a big problem with this method
    (using `category' properties) -- properties are not buffer local, so
    just adding or removing `face' properties will affect every buffer that
    uses the same categories.

    You could cons up unique symbols for each buffer, but that would
    probably eliminate the simplicity of this approach...

It will add a little complexity, but it is still simpler
than the alternatives.