Re: option doc strings and Customize tags

[Stefan Monnier]

>> normally long values will either be indirect (eg, the value of
>> variable whose name can be used instead of the value), or they will be
>> compounds in which case a compound widget will be used so that the
>> components can be changed.

> "Normally", no. Typically, yes.

I think we should just add the value to the menu, together with some
sanity check: if the printed representation of the value is too long,
then shorten it by replacing the middle chars with "...", and let the
code provide an override for those few remaining cases where it's
not satisfactory.


        Stefan