Re: Interface of prog-prettification

[Juanma Barranquero]

On Mon, Jun 17, 2013 at 12:58 AM, Stefan Monnier
<address@hidden> wrote:

> There is no interface for it.

Fair enough, though the docstring of prog-prettify-symbols suggests otherwise:

  "Whether symbols should be prettified.
When set to an alist in the form `((STRING . CHARACTER)...)' it
will augment the mode's native prettify alist."

> Oh, I hadn't noticed you made prog-prettify-symbols into a defcustom.
> I think that's a mistake.

Agreed about defcustom, but allowing the user to extend it seems useful.

   J