Re: display-completion-list should not strip text properties

[Edward O'Connor]

>>> Why do we need to put properties other that the `face' property
>>> in doc strings?  There are already ways to make links.
>> 
>> To include graphics in Help, for one thing.
>> 
>> Is that really something we should get into?
>> I think we should not.

> Why not?

> Help, and documentation generally, often call upon graphics to aid
> communication.

Manuals are often improved by graphics that help to illuminate the
subject matter, but *docstrings*? This smells like feeping creaturism
to me.


-- 
Edward O'Connor
address@hidden

Ense petit placidam sub libertate quietem.