Re: text-property-any

[Stephen Berman]

On Fri, 25 Jan 2008 10:51:56 -0500 Stefan Monnier <address@hidden> wrote:

>> The value of (text-property-any start end 'foo "bar") is always nil,
>> because text-property-any in effect uses `eq' to check property values.
>> Would there be bad consequences if it used `equal' instead?
>
> There are places where code expects properties to be compared with
> `eq', yes.  So we could add what you're requesting, but only as
> an option.  E.g. add a "compare-function" option that can default to
> `eq' but can be set to anything else you fancy.

Sounds like a good idea.

Steve Berman