From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: =?windows-1252?Q?=AC?= notation for not? Ref: Add a couple cells to lisp-prettify-symbols-alist Date: Sun, 10 Jul 2016 10:44:38 -0400 Message-ID: References: <20160710052404.GA28783@holos.localdomain> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1468161941 7298 80.91.229.3 (10 Jul 2016 14:45:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 14:45:41 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jul 10 16:45:32 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1bMFz9-0005cT-Ry for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 16:45:32 +0200 Original-Received: from localhost ([::1]:55433 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMFz9-0003dY-38 for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 10:45:31 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35356) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMFyW-0003dB-Jm for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:44:53 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bMFyR-0007vS-H5 for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:44:51 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:52665) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMFyR-0007vB-A2 for emacs-devel@gnu.org; Sun, 10 Jul 2016 10:44:47 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1bMFyP-0005Ga-HC for emacs-devel@gnu.org; Sun, 10 Jul 2016 16:44:45 +0200 Original-Received: from 69-165-156-121.dsl.teksavvy.com ([69.165.156.121]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 10 Jul 2016 16:44:45 +0200 Original-Received: from monnier by 69-165-156-121.dsl.teksavvy.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 10 Jul 2016 16:44:45 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 41 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 69-165-156-121.dsl.teksavvy.com User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) Cancel-Lock: sha1:NNjiTyOTaNLo5otI/7Mz+Hqac0s= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:205498 Archived-At: > Part of the inspiration for adding more things to some modes has been > that of the p-s-alist in tuareg.el: > https://github.com/ocaml/tuareg/blob/master/tuareg.el#L468 FWIW, I don't much like the new "not" and "sqrt" thingies either, tho I wasn't bothered enough to turn them off either, so I can clearly live with them. I like ¬ in tuareg-mode, OTOH. Not sure exactly why my reaction is different in those two cases. Maybe the parentheses make a difference, or maybe it's the tradition to use longish names (and hence indent differently) in Lisp vs the tradition to use shortish names in ML? >> It seems a bit intrusive because I have never seen that notation before. >> While I do know the sqrt notation √, I can imagine this being a source of >> confusion/annoyance for some people. I personally dislike the √ notation in all major modes because in most of the fonts I use it looks more like a check-mark, and because for me, the √ mathematical notation would require the attached horizontal overline bar to make sense. But I can't remember the last time I used `sqrt` in any programming language, so my opinion is not really relevant. > In any case, I don't feel strongly about it. One thing I just thought > of is making a mode's foo-prettify-symbols-alist a defcustom--perhaps > that will be nicer. There's a clear need for some customization, indeed. There isn't any right now partly because I couldn't come up with a good idea (e.g. the format of prettify-symbols-alist is likely to be extended in ways which are inconvenient for an end-user, and if the end-user customizes his var he won't benefit from later improved defaults). At some point I was tempted to add a `prettify-symbols-inhibit` which would contain a list of chars. E.g. I'd personally put √ globally in that list. Stefan