Re: kill ring menu

[Stefan Monnier]

> Perhaps the number of places which need to explicitly respect the
> difference between text properties and overlays is small.

It *should* be small and it's generally good to make it smaller.

> One other thing about this idea is that I find it a bit unintuitive that
> (eq (plist-get (text-properties-at (point)) 'face)
>     (get-text-property (point) 'face))
> is not always true.

It's already not always true.  See `default-text-properties'.


        Stefan