Re: Interface of prog-prettification

[Ted Zlatanov]

On Mon, 17 Jun 2013 18:04:40 +0200 Juanma Barranquero <address@hidden> wrote: 

JB> On Mon, Jun 17, 2013 at 4:31 PM, Stefan Monnier
JB> <address@hidden> wrote:

>> That is a claim that 3 people have a use case for it and that one of
>> those use cases involves the words TODO and README.
>> 
>> But I don't see any description of a concrete use case here.

JB> a facility for ["visually" replacing one string by another]) could
JB> be useful (via composition, display specs, or whatever) but I don't
JB> think it is something specifically related to prog mode or symbol
JB> prettification. Seems like some sort of as-yet-unimplemented minor
JB> mode to me.

OK.

JB> Speaking of which... Why is this symbol prettification some
JB> semi-obscure feature of programming modes, instead of a minor mode to
JB> be enabled by the user however he sees fit?

Because most non-programming modes don't deal with symbols, and all the
use cases I knew were for programming modes.  But it would work as a
minor mode, sure.  If you'd like to implement it that way, feel free.
Just remove the old defcustom and whatever else you don't need anymore.

Ted