Re: ¬ notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist

[Ted Zlatanov <tzz@lifelogs.com>]

On Mon, 18 Jul 2016 11:07:07 -0400 Stefan Monnier <monnier@iro.umontreal.ca> wrote: 

SM> Currently it's
SM> 
SM> (push '("not" . ?√) prettify-symbols-alist)
SM> 
SM> and hopefully we can keep something similar.  This said, the intention
SM> of having two sets is that adding a new element should be unusual: the
SM> extended set should cover most things that someone might like.

>> What about the distinction between global and local (per mode, per
>> filename, etc.) prettifications?

SM> Not sure what you mean.

From code, you can set the prettify alist per mode or per filename.

I was asking if we want to support that in the customization UI. Based
on the rest of the message, it's a clear "no."

SM> Right.  I assume here that it's sufficient to allow global inhibition
SM> from Custom.  If you want it more fine grained, you'll need to learn to
SM> use add-hook and setq-local.

OK, that's reasonable.

>> But defcustoms (and the underlying widgets) don't allow dynamically
>> sourced choices, do they?  So the user has to copy and paste the
>> special symbol?  (I looked in the widget library for dynamic choice
>> lists just this morning for the gnus-cloud stuff, where it would be
>> nice to offer a dynamic list of all the possible IMAP server as cloud
>> hosts.  I couldn't find a way.  Maybe I missed something.)

SM> There's currently no widget that does that, indeed.  The closest is the
SM> support for completion.  AFAIK there's no deep technical reason why this
SM> is the case and I'd welcome someone adding a `dynamic-choice` type.
SM> There are already various places where we could use such a thing.

OK. I'll start a separate thread.

Thanks
Ted