[Top][All Lists]

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

Re: kill ring menu

From: Stefan Monnier
Subject: Re: kill ring menu
Date: Thu, 30 May 2002 09:45:01 -0400

> 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'.


reply via email to

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